Cover of Computational logic and proof theory

Mark as

Computational logic and proof theory

by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Buy this book Review

See on goodreads

More by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)

Cover of Logic Programming and Nonmonotonic Reasoning

Cover of Reasoning Web. Semantic Interoperability on the Web

Cover of Automated Model Building

Cover of The resolution calculus

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment