Počet záznamů: 1
Údaje o názvu First-order logic and automated theorem proving / Melvin Fitting Osobní jméno Fitting, Melvin, 1942- (autor) Údaje o vydání 2nd ed. Vyd.údaje New York ; Berlin ; Heidelberg : Springer Verlag, c1996 Fyz.popis xvi, 326 s. ISBN 0387945938 Edice Graduate texts in computer science Poznámka Lit. Rejstř. Předmět.hesla matematická logika mathematical logic * logické systémy logical systems * počítačová věda computer science MDT 510.6:004 Země vyd. Německo ; Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M2/112 (PřF) 3134017331 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1