Počet záznamů: 1
Elementary logics
Údaje o názvu Elementary logics : a procedural perspective / Dov Gabbay Osobní jméno Gabbay, Dov M., 1945- (autor) Vyd.údaje London ; New York ; Toronto : Prentice-Hall, 1998 Fyz.popis xiv, 365 s. : il. ISBN 0137263651 Edice Prentice-Hall International Series in Computer Science
Prentice-Hall Series in Computer SciencePoznámka Rejstř. Poznámky o skryté bibliografii a rejstřících Bibliogr Předmět.hesla kombinatorika combinatorics * matematická logika mathematical logic * počítačové modelování computer modeling * programování programming * informační technologie information technology * počítačová věda computer science MDT 004 , 510.64 , 519.6:004.2 Země vyd. Kanada ; Velká Británie ; Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M2/544 (PřF) 3134015644 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1