Number of the records: 1
The logic of knowledge bases
Title statement The logic of knowledge bases / Hector J. Levesque and Gerhard Lakemeyer Personal name Levesque, Hector J., 1951- (author) Issue data Cambridge, MA ; London : MIT Press, 2000 Phys.des. xviii, 282 s. ISBN 0262122324 Note Lit. Rejstř. Internal Bibliographies/Indexes Note Bibliogr. pozn. v textu Another responsib. Lakemeyer, Gerhard, 1957- (author) Subj. Headings matematická logika mathematical logic * reprezentace znalostí * expertní systémy expert systems Conspect 004.8 - Umělá inteligence UDC 004.82 , 004.83 , 004.891 Country Velká Británie ; Spojené státy americké Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/164 (PřF) 3134022120 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only Title statement Učebnice programování ATMEL s jádrem 8051 / Václav Vacek, [Václava Vacková] Title statement Učebnice programování ATMEL s jádrem 8051 / Václav Vacek, [Václava Vacková] Personal name Vacková, Václava (author) Edition statement 1. vyd. Issue data Praha : BEN - technická literatura, 2001 Phys.des. 143 s. : il. ISBN 8073000431 Another responsib. Vacek, Václav (author) Subj. Headings počítačová architektura computer architecture * Atmel (mikrokontroléry) Atmel (microcontrollers) * Assembler (programovací jazyk) Assembler (programming language) * programovací jazyky programming languages * mikroprocesory microprocessors * programování programming
Number of the records: 1