Matches in Library of Congress for { <http://lccn.loc.gov/2010048062> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2010048062 contributor B11794291.
- 2010048062 created "2011.".
- 2010048062 date "2011".
- 2010048062 date "2011.".
- 2010048062 dateCopyrighted "2011.".
- 2010048062 description "Includes bibliographical references and index.".
- 2010048062 description "Includes bibliographical references.".
- 2010048062 description "Preface / Javier Esparza, Christian Michaux and Charles Steinhorn -- Automata-based presentations of infinite structures / Vince Bárány, Erich Grä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 -- Definability in classes of finite structures / Dugald Macpherson and Charles Steinhorn -- Algorithmic meta-theorems / Stephan Kreutzer -- Model theoretic methods for fragments of FO and special classes of (finite) structures / Martin Otto.".
- 2010048062 extent "xi, 341 p. :".
- 2010048062 identifier "0521718201 (pbk.)".
- 2010048062 identifier "9780521718202 (pbk.)".
- 2010048062 identifier 9780521718202.jpg.
- 2010048062 isPartOf "London Mathematical Society lecture note series ; 379".
- 2010048062 isPartOf "London Mathematical Society lecture note series ; 379.".
- 2010048062 issued "2011".
- 2010048062 issued "2011.".
- 2010048062 language "eng".
- 2010048062 publisher "Cambridge ; New York : Cambridge University Press,".
- 2010048062 subject "511.3/4 22".
- 2010048062 subject "Computer science Mathematics.".
- 2010048062 subject "Finite model theory.".
- 2010048062 subject "QA9.7 .F565 2011".
- 2010048062 tableOfContents "Preface / Javier Esparza, Christian Michaux and Charles Steinhorn -- Automata-based presentations of infinite structures / Vince Bárány, Erich Grä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 -- Definability in classes of finite structures / Dugald Macpherson and Charles Steinhorn -- Algorithmic meta-theorems / Stephan Kreutzer -- Model theoretic methods for fragments of FO and special classes of (finite) structures / Martin Otto.".
- 2010048062 title "Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn.".
- 2010048062 type "text".
