Tražili ste > klasifikacijska oznaka: 03C13
5 rezultata
1
Finite model theory / Heinz-Dieter Ebbinghaus ; Joerg Flum. 2nd revised and enlarged ed. 1999
Finite model theory / Heinz-Dieter Ebbinghaus ; Joerg Flum. 2nd revised and enlarged ed. 1999.
Ebbinghaus, Heinz-Dieter   detalji o autoru
Berlin [etc.] : Springer Science + Business Media, 2006
Knjiga knjiga
2
Elements of finite model theory / Leonid Libkin
Elements of finite model theory / Leonid Libkin
Libkin, Leonid   detalji o autoru
Berlin [etc.] : Springer-Verlag, 2004
Knjiga knjiga
3
Descriptive complexity / Neil Immerman
Descriptive complexity / Neil Immerman
Immerman, Neil   detalji o autoru
New York : Springer-Verlag, 1999
udžbenici-fakultet xvi, 268 str.
4
Logic and random structures : DIMACS Workshop, November 5-7, 1995 / Ravi B. Boppana, James F. Lynch, editors
Providence, R.I. : American Mathematical Society, 1997
5
The classical decision problem / Egon Boerger ; Erich Graedel; Yuri Gurevich. 2nd printing
The classical decision problem / Egon Boerger ; Erich Graedel; Yuri Gurevich. 2nd printing.
[classical decision problem. The]
Boerger, Egon, matematičar   detalji o autoru
Berlin [etc.] : Springer-Verlag, cop.1997
Knjiga knjiga