Logika: Neformální výklad základů formální logiky
- 108 pages
- 4 hours of reading
Petr Jirků Books
Kapitoly z kognitivní vědy
- 104 pages
- 4 hours of reading
Logické programování I. Programovací jazyk Prolog
- 192 pages
- 7 hours of reading
Formální logika : neformální výklad základů formální logiky
- 161 pages
- 6 hours of reading
Miscellanea Logica Tom I., II., III.
- 3 volumes
Programování v jazyku Prolog
- 251 pages
- 9 hours of reading
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í.
