-
RecordNumber
1808
-
Title
Finite model theory and its applications
-
Author Statement
Erich Gradel ... [et al.].
-
Publication
Springer
-
Publication Year
c2007
-
Collation
xi, 437 p. ill.
-
Series
Texts in theoretical computer science
-
Notes
Includes bibliographical references and index
-
Subject
Finite model theory. , Computational complexity. , Constraint databases.
-
ADDED ENTRIES
Gradel, Erich,
-
Main class
511.
-
Sub class
34
-
Cutter no
F498
-
ISBN
978-3-540-00428-8
-
Link To Document :
