Finite model theory and its applications / Erich Grädel... [et al.]
Coauthor Grädel, Erich, 1958- Country Alemanha. Publication Berlin : Springer, 2007 Description XI, 437 p. : il. ; 24 cm Series Texts in theoretical computer science , 1862-4499 ISBN 978-3-540-00428-8 CDU 510.67| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 510.67 - F | Available | 404282 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.