Number of the records: 1
Formální logika v umělé inteligenci
Title statement Formální logika v umělé inteligenci / Alena Lukasová Personal name Lukasová, Alena, 1936- (author) Edition statement Vyd. 1. Issue data Brno : Computer Press, 2003 Phys.des. ix, 269 s. : il. ISBN 8025100235 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings umělá inteligence artificial intelligence * formální logika formal logic * výroková logika propositional calculus Form, Genre učebnice vysokých škol textbooks (higher) Conspect 510 - Obecné úvahy o matematice UDC 004.8 , 164 , 510.6(075.8) , 510.633 Country Česko Language čeština Document kind Books Call number Barcode Location Sublocation Info M1/1791 (PřF) 3134018361 PřF PřF, Knihovna Date due 30 days M1/1791a (PřF) 3134023177 PřF PřF, Knihovna Date due 30 days 540/389 (KUP) 3139144127 Zbrojnice Ústřední knihovna UP - matematika In-Library Use Only
Number of the records: 1