An edition of Finite Model Theory and Its Applications (2007)

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

1 edition

by

Cover of: Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) by Erich Grädel, Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Read

My Reading Lists:

Create a new list

Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 19, 2020 | History
Edit
An edition of Finite Model Theory and Its Applications (2007)

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

1 edition

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
437

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Logic design, Symbolic and mathematical Logic, Computer science, Software engineering, Database management, Model theory, Finite model theory, Computational complexity, Constraint databases
Edition Availability
Cover of: Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
June 11, 2007, Springer
Hardcover in English - 1 edition

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95QA8.9-QA, QA9.7 .F56 2007

The Physical Object

Format
Hardcover
Number of pages
437
Dimensions
9.2 x 6.3 x 0.9 inches
Weight
1.5 pounds

Edition Identifiers

Open Library
OL9053789M
Internet Archive
finitemodeltheor00grad
ISBN 10
3540004289
ISBN 13
9783540004288
LCCN
2007923182
OCLC/WorldCat
150202675
LibraryThing
5624998
Goodreads
962281

Work Identifiers

Work ID
OL16980180W

Source records

Internet Archive item record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Better World Books record
Library of Congress MARC record
amazon.com record
marc_columbia MARC record
Promise Item
ISBNdb

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
December 19, 2020 Edited by MARC Bot import existing book
August 1, 2020 Edited by ImportBot import existing book
June 30, 2019 Edited by MARC Bot import existing book
July 29, 2014 Created by ImportBot import new book