Theorem-proving systems

View on Open Library

Theorem-proving systems

by Ewa Orłowska

No reviews yet

First published: 1973 1 language

Subjects

Automatic theorem proving

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Ewa Orłowska

Representation of temporal information

Representation of temporal information

You Might Also Like

More in Automatic theorem pr...

Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi

Logic for computer science

Logic for computer science

Jean H. Gallier

Logic Programming

Logic Programming

James H. Andrews

Automated Reasoning

Automated Reasoning

Larry Wos

Automated practical reasoning

Automated practical reasoning

Dongming Wang

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan