عنوان
پدید آورنده
موضوع
رده
QA 9.7 .F565 2011
QA
9
.
7
.
F565
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9780521718202
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
25080
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Finite and algorithmic model theory
General Material Designation
[Book]
First Statement of Responsibility
/ edited by Javier Esparza, Christian Michaux, Charles Steinhorn
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge
Name of Publisher, Distributor, etc.
: Cambridge University Press
Date of Publication, Distribution, etc.
, 2011.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xi, 341 p.
Other Physical Details
: ill.
SERIES
Series Title
(London Mathematical Society lecture note series
Volume Designation
; 379)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes index
CONTENTS NOTE
Text of Note
Machine generated contents note: Preface Javier Esparza, Christian Michaux and Charles Steinhorn; Automata-based presentations of infinite structures Vince Barany, Erich Gra;del and Sasha Rubin; Logical aspects of spatial databases Bart Kuijpers and Jan Van den Bussche; Some connections between finite and infinite model theory Vera Koponen; Algorithmic meta-theorems Stephan Kreutzer; Definability in classes of finite structures H. Dugald Macpherson and Charles Steinhorn; Model theoretic methods for fragments of FO and special classes of (finite) structures Martin Otto
TOPICAL NAME USED AS SUBJECT
Finite model theory
Computer science -- Mathematics
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3/4
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
7
Book number
.
F565
2011
PERSONAL NAME - SECONDARY RESPONSIBILITY
Esparza, Javier, ed
Michaux, Christian, ed
Steinhorn, Charles, ed
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. College of Science Library
LOCATION AND CALL NUMBER
Call Number
511.3/4
old catalog
BL
1
a
Y
