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
www.soul.o6u.edu.eg

E-Mail: soul@o6u.edu.eg
Address: October 6 city – Central Axis – Next to El Hosary mosque.
Tell: (+202) 38376382
Fax: (+202) 38376280



Developed and implemented by ILC EG