Formální logika : neformální výklad základů formální logiky

Autor: Jirků, Petr, 1942-2017, Vejnarová, Jiřina, 1962-
Rok: 2005

Formální logika : neformální výklad základů formální logiky

Autor: Jirků, Petr, 1942-2017, Vejnarová, Jiřina, 1962-
Rok: 2000

Zhodnocení podpory tvorby programů pro internet v současných systémech založených na logickém programování

Autor: Hřib, Radek
Rok: 1999

Tvorba expertního systému v prostředí Mobal

Autor: Vitásek, Jakub
Rok: 1997

Kapitoly z kognitivní vědy : racionalita z hlediska chování, jazyka a logiky

Autor: Jirků, Petr, 1942-2017, Kelemen, Jozef, 1951-
Rok: 1996

Aplikace neuronových sítí v ekonomické oblasti

Autor: Bělohoubková, Lenka
Rok: 1995

Building intelligent systems

Autor: Jirků, Petr, 1942-2017
Rok: 1995

Logické programování. I, Programovací jazyk Prolog

Autor: Jirků, Petr, 1942-2017
Rok: 1995

Programový systém Knowledge Works pro pracovní stanice

Autor: Jirků, Petr, 1942-2017
Rok: 1994

Logika : neformální výklad základů formální logiky

Autor: Jirků, Petr, 1942-2017
Rok: 1993

BMDP : stručný uživatelský manuál k programům BMDP. Učební text

Autor: Hill, Mary Ann
Rok: 1983