Number of the records: 1
Formální logika v umělé inteligenci
Author Lukasová, Alena, 1936- (Author) Title Formální logika v umělé inteligenci / Alena Lukasová Issue Vyd. 1. Issue stat. Brno : Computer Press, 2003 Phys.des. ix, 269 s. ISBN 80-251-0023-5 (brož.) : 199.00 Note Obsahuje bibliografii a rejstřík Subj. Headings formální logika * výroková logika * predikátová logika * znalostní systémy Form, Genre příručky UDC 164 * 164.1 * 164.2 * 004.82 * (035) Country Czech Republic Language Czech URL Digitalizovaný dokument Copy count 2, currently available 2 Owner Kladno SVK Doc. Kind Monographies, maps 
Call number Location Sublocation Info J 209587 Půjčovna literatury depozitář J 209587 a Půjčovna literatury depozitář
Number of the records: 1