Clicky

Studies in the completeness and efficiency of theorem-proving by resolution by Robert Kowalski and similar books you'll love - Bookscovery

Home > Authors > Robert Kowalski > Studies in the completeness and efficiency of theorem-proving by resolution

Buy at: Bookshop.org Amazon

Studies in the completeness and efficiency of theorem-proving by resolution

Robert Kowalski

Recent activity

Rate this book to see your activity here.

19 Books Similar to Studies in the completeness and efficiency of theorem-proving by resolution by Robert Kowalski

Bookscovery readers who liked Studies in the completeness and efficiency of theorem-proving by resolution also like 8 Weeks to Lower Blood P, Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87) and Busco. How many of these have you read?

8 Weeks to Lower Blood P by Robert Kowalski

Cover of 8 Weeks to Lower Blood P
Buy this book at:
Bookshop.org Amazon

Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87) by Hartmut Ehrig

Cover of Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Buy this book at:
Bookshop.org Amazon

Busco by Robert Kowalski

Cover of Busco
Buy this book at:
Bookshop.org Amazon

Computational logic by Fariba Sadri

Cover of Computational logic
Buy this book at:
Bookshop.org Amazon

Computational logic and human thinking by Robert Kowalski

Cover of Computational logic and human thinking
Buy this book at:
Bookshop.org Amazon

English as a (logic) programming language by Robert Kowalski

Cover of English as a (logic) programming language
Buy this book at:
Bookshop.org Amazon

Jaycee : A Heroine's Journey / by Robert Kowalski

Cover of Jaycee : A Heroine's Journey /
Buy this book at:
Bookshop.org Amazon

Lógica, programación e inteligencia artificial by Robert Kowalski

Cover of Lógica, programación e inteligencia artificial
Buy this book at:
Bookshop.org Amazon

Logic for problem solving by Robert Kowalski

Cover of Logic for problem solving
Buy this book at:
Bookshop.org Amazon

Logic for Problem Solving, Revisited by Robert Kowalski

Cover of Logic for Problem Solving, Revisited
Buy this book at:
Bookshop.org Amazon

Logic Programming by Robert Kowalski

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

Logic programming by Robert Kowalski

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

Logic programming by Robert Kowalski

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

Logic Programming by Robert Kowalski

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

Passive Income Freedom by Robert Kowalski

Cover of Passive Income Freedom
Buy this book at:
Bookshop.org Amazon

Prolog by David S. Warren

Cover of Prolog
Buy this book at:
Bookshop.org Amazon

TAPSOFT '87 by International Joint Conference on Theory and Practice of Software Development (2nd 1987 Pisa, Italy)

Cover of TAPSOFT '87
Buy this book at:
Bookshop.org Amazon

The CLI Book: Writing Successful Command Line Interfaces with Node.js by Robert Kowalski

Cover of The CLI Book: Writing Successful Command Line Interfaces with Node.js
Buy this book at:
Bookshop.org Amazon

Whom the Son Sets Free Is Free by Robert Kowalski

Cover of Whom the Son Sets Free Is Free
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Studies in the completeness and efficiency of theorem-proving by resolution

Please sign in to leave a comment