Formální logika v umělé inteligenci /

Hlavní autor: Lukasová, Alena, 1936-
Jazyk: Čeština
Vydáno: Brno : Computer Press, 2003
Vydání: Vyd. 1.
Témata:
Externí odkaz: Digitalizovaný dokument
Fyzický popis: ix, 269 s. ; 23 cm
Knihy
Uloženo v:
LEADER 01530nam a2200409 a 4500
001 000695909
003 CZ BrMZK
005 20040217121842.0
007 ta
008 031106s2003 xr e 000 0 cze d
015 |a cnb001290614 
020 |a 80-251-0023-5  |q (brož.) :  |c Kč 199,00 
035 |a (OCoLC)56848957 
040 |a OLA001  |b cze  |d BOA001 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 164  |2 MRF 
080 |a 164.1  |2 MRF 
080 |a 164.2  |2 MRF 
080 |a 004.82  |2 MRF 
080 |a (035)  |2 MRF 
100 1 |a Lukasová, Alena,  |d 1936-  |7 jo20000072414  |4 aut 
245 1 0 |a Formální logika v umělé inteligenci /  |c Alena Lukasová 
250 |a Vyd. 1. 
260 |a Brno :  |b Computer Press,  |c 2003 
300 |a ix, 269 s. ;  |c 23 cm 
504 |a Obsahuje bibliografii a rejstřík 
500 |a Dostupné též v digitální podobě v aplikaci Kramerius 
650 0 7 |a výroková logika  |7 ph127455  |2 czenas 
650 0 7 |a predikátová logika  |7 ph124584  |2 czenas 
650 0 7 |a znalostní systémy  |7 ph211949  |2 czenas 
650 0 7 |a formální logika  |7 ph120290  |2 czenas 
655 7 |a příručky  |7 fd133209  |2 czenas 
856 4 1 |u http://www.digitalniknihovna.cz/mzk/uuid/uuid:18b50e80-062e-11e6-a5b6-005056827e52  |y Digitalizovaný dokument  |x NDK 
910 |a BOA001  |b 2-1129.371 
990 |a BK 
996 6 |b 2610211340  |c 2-1129.371  |l MZK  |r Sklad / do 1 hodiny  |n 1  |p p.v.  |w 000695909  |u 000010  |a 1  |e BOA001  |j MZK50  |s P 
996 7 |b 2610211341  |c 2-1129.371  |l MZK  |r Sklad / do 1 hodiny  |n 32  |p kup  |w 000695909  |u 000020  |a 1  |e BOA001  |j MZK50  |s A