Finite model theory and its applications : with 35 figures and 2 tables / Erich Grädel ...
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts in theoretical computer sciencePublisher: Berlin ; Heidelberg [u.a.] : Springer, 2007Description: XI, 437 S. : graph. Darst. ; 24 cmISBN:- 3540004289
- 9783540004288
- 9783642438608
- QA9.7
Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Bibliothek Campus Süd | inf 1.4 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2007 A 3616 | Available | 48434248090 |
Total holds: 0
Literaturangaben