Gr�adel,Erich
Finite model theory and its applications [[Textbook] /] Erich Gr�adel ... [et al.]. - Berlin ; New York : Springer, 2007. - xi, 437 p. : ill. ; 24 cm. ; 24 cm. - Texts in theoretical computer science, 1862-4499 .
Includes bibliographical references and index.
9783540004288 18624499
Finite model theory.
Computational complexity.
Constraint databases.
511.34
/ G F
Finite model theory and its applications [[Textbook] /] Erich Gr�adel ... [et al.]. - Berlin ; New York : Springer, 2007. - xi, 437 p. : ill. ; 24 cm. ; 24 cm. - Texts in theoretical computer science, 1862-4499 .
Includes bibliographical references and index.
9783540004288 18624499
Finite model theory.
Computational complexity.
Constraint databases.
511.34
/ G F