Clicky

Computational logic and proof theory by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) and similar books you'll love - Bookscovery

Home > Authors > Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) > Computational logic and proof theory

Buy at: Bookshop.org Amazon

See on goodreads

Recent activity

Rate this book to see your activity here.

4 Books Similar to Computational logic and proof theory by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Bookscovery readers who liked Computational logic and proof theory also like Logic Programming and Nonmonotonic Reasoning, Reasoning Web. Semantic Interoperability on the Web and Automated Model Building. How many of these have you read?

Logic Programming and Nonmonotonic Reasoning by Georg Gottlob

Cover of Logic Programming and Nonmonotonic Reasoning
Buy this book at:
Bookshop.org Amazon

Reasoning Web. Semantic Interoperability on the Web by Giovambattista Ianni

Cover of Reasoning Web. Semantic Interoperability on the Web
Buy this book at:
Bookshop.org Amazon

Automated Model Building by Ricardo Caferra

Cover of Automated Model Building
Buy this book at:
Bookshop.org Amazon

The resolution calculus by Alexander Leitsch

Cover of The resolution calculus
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Computational logic and proof theory

Please sign in to leave a comment