Počet záznamů: 1
Epistemic logic for AI and computer science
Údaje o názvu Epistemic logic for AI and computer science / J.-J.Ch. Meyer, W. van der Hoek Osobní jméno Meyer, J.-J. Ch., 1954- (autor) Vyd.údaje Cambridge ; New York : Cambridge University Press, 1995 Fyz.popis xiii, 354 s. ISBN 0521602807 (brož.) Edice Cambridge tracts in theoretical computer science; 41 Poznámka Obsahuje literaturu a rejstřík Dal.odpovědnost Hoek, Wiebe van der (autor) Předmět.hesla umělá inteligence artificial intelligence * matematická logika mathematical logic * logické systémy logical systems * počítačová věda computer science Konspekt 510 - Obecné úvahy o matematice MDT 004.8 , 510.6 , 510.6:004 Země vyd. Velká Británie ; Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M2/258a (PřF) 3134015854 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně M2/258 (PřF) 3134019782 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1