Clicky

Mechanical theorem proving in the USSR by Vladimir Lifschitz and similar books you'll love - Bookscovery

Home > Authors > Vladimir Lifschitz > Mechanical theorem proving in the USSR

Buy at: Bookshop.org Amazon

Mechanical theorem proving in the USSR

Vladimir Lifschitz

Recent activity

Rate this book to see your activity here.

8 Books Similar to Mechanical theorem proving in the USSR by Vladimir Lifschitz

Bookscovery readers who liked Mechanical theorem proving in the USSR also like Answer Set Programming, Artificial and Mathematical Theory of Computation and Artificial intelligence and mathematical theory of computation. How many of these have you read?

Answer Set Programming by Vladimir Lifschitz

Cover of Answer Set Programming
Buy this book at:
Bookshop.org Amazon

Artificial and Mathematical Theory of Computation by Vladimir Lifschitz

Cover of Artificial and Mathematical Theory of Computation
Buy this book at:
Bookshop.org Amazon

Artificial intelligence and mathematical theory of computation by McCarthy, John

Cover of Artificial intelligence and mathematical theory of computation
Buy this book at:
Bookshop.org Amazon

Formalizing common sense by John McCarthy

Cover of Formalizing common sense
Buy this book at:
Bookshop.org Amazon

Handbook of knowledge representation by Vladimir Lifschitz

Cover of Handbook of knowledge representation
Buy this book at:
Bookshop.org Amazon

Logical Formalizations of Commonsense Reasoning by Eyal Amir

Cover of Logical Formalizations of Commonsense Reasoning
Buy this book at:
Bookshop.org Amazon

Logic programming by Vladimir Lifschitz

Cover of Logic programming
Buy this book at:
Bookshop.org Amazon

Logic Programming and Nonmonotonic Reasoning by Vladimir Lifschitz

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

Comments and reviews of Mechanical theorem proving in the USSR

Please sign in to leave a comment