More Books:

Fixed-point Extensions of First-order Logic
Language: en
Pages: 24
Authors: Y. Gurevich, University of Michigan. Computing Research Laboratory, S. Shelah
Categories: Induction
Type: BOOK - Published: 1985 - Publisher:

Books about Fixed-point Extensions of First-order Logic
Trends in Theoretical Computer Science
Language: en
Pages: 380
Authors: Egon Börger
Categories: Computer science.
Type: BOOK - Published: 1988 - Publisher: Computer Science Press, Incorporated

Books about Trends in Theoretical Computer Science
Information Modelling and Knowledge Bases XVII
Language: en
Pages: 356
Authors: Y. Kiyoki, H. Jaakkola
Categories: Computers
Type: BOOK - Published: 2006-02-06 - Publisher: IOS Press

The number of abstraction levels of information, the size of databases and knowledge bases and the amount and complexity of information stored in WWW are continuously growing. The aim of this series of Information Modelling and Knowledge Bases is to bring together experts from different areas who have a common
Computer Science Logic
Language: en
Pages: 628
Authors: Laurent Fribourg
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91
Computer Science Logic
Language: en
Pages: 614
Authors: European Association for Computer Science Logic. Conference
Categories: Computers
Type: BOOK - Published: 2001-08-29 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91