QPQ Deductive Repository

Sections

Personal tools

Log in
Join

You are here: Home → Downloads → Some Theorem Proving Strategies and their Implementation

Log in: Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.; Forgot your password?; New user?

Document Actions

Some Theorem Proving Strategies and their Implementation

Original 1964 technical report by George A. Robinson, Lawrence T. Wos, and Daniel F. Carson describing their implementation on a CDC 3600 of J. A. Robinson's resolution method with unit preference and set-of-support strategies.

Click here to get the file

Size 1.8 MB - File type application/pdf

by shankar — last modified 2007-01-31 18:15

Contributors: George A. Robinson, Lawrence T. Wos, and Daniel F. Carson

What's up ?

Be notified when a document is published in this folder or below.

Unsubscribe

This site conforms to the following standards: