Počet záznamů: 1
Finite model theory and its applications
Údaje o názvu Finite model theory and its applications / Erich Grädel ... [et al.] Vyd.údaje Berlin : Springer, 2007 Fyz.popis xi, 437 s. : il. ISBN 978-3-540-00428-8 (váz.) Edice Texts in theoretical computer science ISSN 1862-4499 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografie a rejstřík Dal.odpovědnost Grädel, Erich, 1958- (autor) Předmět.hesla teorie modelů model theory * matematická logika mathematical logic * teorie složitosti complexity theory * programování programming Forma, žánr učebnice textbooks Konspekt 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 510.67 , 510.6 , 510.52 , 004.42 , (075) Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M1/2964 (PřF) 3134033920 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1