عنوان
پدید آورنده
موضوع
رده
{1648},06fdfb40a6eef9acf992e8ee6bc47b2a
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9783540004
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Finite model theory and its applications
First Statement of Responsibility
Erich Gradel ... [et al.]&
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2007
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 437 p. ill
SERIES
Series Title
Texts in theoretical computer science
SUMMARY OR ABSTRACT
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Finite model theory
Entry Element
Computational complexity
Entry Element
Constraint databases
