Petr Jirků Reihenfolge der Bücher
- 2000
- 2000
Formální logika : neformální výklad základů formální logiky
- 161 Seiten
- 6 Lesestunden
- 1996
Kapitoly z kognitivní vědy
- 104 Seiten
- 4 Lesestunden
- 1995
Logické programování I. Programovací jazyk Prolog
- 192 Seiten
- 7 Lesestunden
- 1993
Logika: Neformální výklad základů formální logiky
- 108 Seiten
- 4 Lesestunden
- 1991
Programování v jazyku Prolog
- 251 Seiten
- 9 Lesestunden
Příručka seznamuje s novým jazykem pro logické programování, který je určen pro databázové a expertní systémy, pro reprezentaci a zpracování znalostí.
