Počet záznamů: 1
Logic for computer scientists
Údaje o názvu Logic for computer scientists / Uwe Schöning Osobní jméno Schöning, Uwe, 1955- (autor) Nakladatel New York : Springer Science+Business Media, LLC, 1989 Fyz.popis 166 stran : ilustrace Edice Progress in computer science and applied logic ; volume 8 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla symbolická logika symbolic logic * matematická logika mathematical logic * logické programování logic programming Forma, žánr monografie monographs Konspekt 510 - Obecné úvahy o matematice MDT 164.01 , 510.6 , 004.42.047 , (048.8) Země vyd. Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy kniha
Signatura Čár.kód Lokace Dislokace Info M1/3518 (PřF) 3134044883 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1