Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) - Image 1

£56.24

Springer Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Name: Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 56.24 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 32 days • 32 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 32 days • 1 price levels

Days at Price

Price Analysis

Most common price: £56 (32 days, 100.0%)

Price range: £56 - £56

Price levels: 1 different prices over 32 days

Description

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642438601
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 30 October 2014
Listed Since: 31 October 2014

Barcode

No barcode data available

Springer Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Logic for Applications (Texts in Computer Science)

A Course on Basic Model Theory

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Introduction to Model Theory (Algebra, Logic and Applications)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Finite Model Theory: Second Edition (Springer Monographs in Mathematics)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

Springer Mathematical Problems from Applied Logic I - Vol 4

CRC Press Handbook of Finite State Based Models and Applications

Finitely Axiomatizable Theories (Siberian School of Algebra and Logic)

Mathematical Logic and Model Theory: A Brief Introduction: 0 (Universitext)

Logics for Emerging Applications of Databases

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Logic-Based 0–1 Constraint Programming: 5 (Operations Research/Computer Science Interfaces Series, 5)

Logic and Language Models for Computer Science: Third Edition

Automata and Computability

Introduction to Model Theory: 15 (Algebra, Logic and Applications)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Mathematical Logic for Computer Science

Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

Logic Functions and Equations: Binary Models for Computer Science