Výsledky vyhledávání
- Formální logika : neformální výklad základů formální logiky / Petr Jirků, Jiřina Vejnarová. Praha : Vysoká škola ekonomická, Fakulta informatiky a statistiky, 2000 . 161 s. . ISBN 80-245-0054-X - S 26.793
Umístění:Pobočka Volné Nedostupné / Prezenčně Vypůjčené Rezervace Kde najdu? Lidická 2 0/0 0 0 - Formální logika : neformální výklad základů formální logiky / Petr Jirků, Jiřina Vejnarová. V Praze : Oeconomica, 2005 . 161 s.
. ISBN 80-245-0974-1 - S 31.422
Umístění:Pobočka Volné Nedostupné / Prezenčně Vypůjčené Rezervace Kde najdu? Lidická 1 0/0 0 0 - Kapitoly z kognitivní vědy : racionalita z hlediska chování, jazyka a logiky / Petr Jirků a Jozef Kelemen. V Praze : Vysoká škola ekonomická, 1996 . 104 s. il. . ISBN 80-7079-787-8 - S 23.848
Umístění:Pobočka Volné Nedostupné / Prezenčně Vypůjčené Rezervace Kde najdu? Lidická 5 0/0 0 0 - Logické programování I : programovací jazyk Prolog / Petr Jirků. V Praze : Vysoká škola ekonomická, 1995 . 191 s. . ISBN 80-7079-606-5 - S 28.954
Umístění:Pobočka Volné Nedostupné / Prezenčně Vypůjčené Rezervace Kde najdu? Lidická 1 0/0 0 0 - *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM*
Logika : neformální výklad základů formální logiky. Praha : Vysoká škola ekonomická, 1993 . 1 sv. . ISBN 80-7079-663-4 - S 21.670
Umístění:Pobočka Volné Nedostupné / Prezenčně Vypůjčené Rezervace Kde najdu? Lidická 1 0/0 0 0 - *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM*
Programování v jazyku Prolog. Praha : SNTL - Nakladatelství technické literatury, 1991 . 251 s. . ISBN 80-03-00609-0 - C 271.927
Umístění: 004.4/.5 - SoftwarePobočka Volné Nedostupné / Prezenčně Vypůjčené Rezervace Kde najdu? Lidická příruční sklad 1 0/0 0 0