Number of the records: 1
Finite model theory and its applications
Title statement Finite model theory and its applications / Erich Grädel ... [et al.] Issue data Berlin : Springer, 2007 Phys.des. xi, 437 s. : il. ISBN 978-3-540-00428-8 (váz.) Edition Texts in theoretical computer science ISSN 1862-4499 Internal Bibliographies/Indexes Note Obsahuje bibliografie a rejstřík Another responsib. Grädel, Erich, 1958- (author) Subj. Headings teorie modelů model theory * matematická logika mathematical logic * teorie složitosti complexity theory * programování programming Form, Genre učebnice textbooks Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 510.67 , 510.6 , 510.52 , 004.42 , (075) Country Německo Language angličtina Document kind Books Call number Barcode Location Sublocation Info M1/2964 (PřF) 3134033920 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1