Automated theorem proving View on Open Library

Automated theorem proving

by W. Bibel

No reviews yet
First published: 1982 1 language ISBN: 3528085207
Subjects
Automatic theorem proving

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by W. Bibel

Fundamentals of Artificial Intelligence

Fundamentals of Artificial Intelligence

Automated deduction

Automated deduction

Methoden wissensbasierter Systeme

Methoden wissensbasierter Systeme

Mathematical Methods of Specification and Synthesis of Software Systems '85

Mathematical Methods of Specification an...

The SAP R/3® Guide to EDI and Interfaces

The SAP R/3® Guide to EDI and Interfaces

Automated Deduction - A Basis for Applications

Automated Deduction - A Basis for Applic...

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