
Tell your friends about this item:
Finite Model Theory and Its Applications - Texts in Theoretical Computer Science. An EATCS Series 2007 edition
Erich Gradel
Finite Model Theory and Its Applications - Texts in Theoretical Computer Science. An EATCS Series 2007 edition
Erich Gradel
Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory.
437 pages, 1 black & white tables, biography
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | April 24, 2007 |
Original release date | 2003 |
ISBN13 | 9783540004288 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 440 |
Dimensions | 155 × 235 × 22 mm · 752 g |
Language | English German |