Number of the records: 1
The automation of reasoning with incomplete information
Title statement The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub Personal name Schaub, Torsten (author) Issue data Berlin ; Heidelberg ; New York, N.Y. : Springer, c1997 Phys.des. xi, 159 s. ISBN 3-540-64515-2 (brož.) Edition Lecture notes in artificial intelligence ; 1409 Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy Subj. Headings počítačová věda computer science * logika logic * umělá inteligence artificial intelligence * zdůvodňování Form, Genre monografie monographs Conspect 004 - Počítačová věda. Výpočetní technika. Informační technologie UDC 004 , 16 , 004.8 , 004.83 , (048.8) Country Německo ; Spojené státy americké Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/1275 (PřF) 3134040381 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1