Skip to main content
PBS logo
 
 

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

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Finite Model Theory and Its Applications - Texts in Theoretical Computer Science. An EATCS Series
Author: Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides...  more »
ISBN-13: 9783540004288
ISBN-10: 3540004289
Publication Date: 6/11/2007
Pages: 437
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.