Number of the records: 1
Title statement Elements of finite model theory / Leonid Libkin Personal name Libkin, Leonid, 1965- (author) Issue data Berlin : Springer, c2004 Phys.des. xiv, 315 s. ISBN 3540212027 Edition Texts in theoretical computer science Note Obsahuje literaturu a rejstřík Subj. Headings konečný automat finite automaton * rekurzivní funkce * matematická logika mathematical logic * matematické modelování mathematical modeling Conspect 510 - Obecné úvahy o matematice UDC 510.57 , 510.6 , 519.673 , 519.713 Country Německo Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/227 (PřF) 3134017751 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M2/227a (PřF) 3134019781 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1