Number of the records: 1
Epistemic logic for AI and computer science
Title statement Epistemic logic for AI and computer science / J.-J.Ch. Meyer, W. van der Hoek Personal name Meyer, J.-J. Ch., 1954- (author) Issue data Cambridge ; New York : Cambridge University Press, 1995 Phys.des. xiii, 354 s. ISBN 0521602807 (brož.) Edition Cambridge tracts in theoretical computer science; 41 Note Obsahuje literaturu a rejstřík Another responsib. Hoek, Wiebe van der (author) Subj. Headings umělá inteligence artificial intelligence * matematická logika mathematical logic * logické systémy logical systems * počítačová věda computer science Conspect 510 - Obecné úvahy o matematice UDC 004.8 , 510.6 , 510.6:004 Country Velká Británie ; Spojené státy americké Language angličtina Document kind Books Call number Barcode Location Sublocation Info M2/258a (PřF) 3134015854 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M2/258 (PřF) 3134019782 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1