Delta State University

Cover image for Using sophisticated models in resolution theorem proving / David M. Sandford.
Using sophisticated models in resolution theorem proving / David M. Sandford.
Title:
Using sophisticated models in resolution theorem proving / David M. Sandford.
Personal Author:
Sandford, David M.
Publication:
Berlin ; New York : Springer-Verlag, 1980.
Publication Date:
1980
ISBN:
9780387102313
General Note:
Revision of thesis (Ph. D.).

Includes index.
Bibliography Note:
Bibliography: pages [229]-233.
Content Type:
text
Carrier Type:
volume
Language:
English
Subject:
Automatic theorem proving.

Mathematics -- Data processing.
No. of Holds:

Instructional Resources Center     |      University Archives and Museum      |      Roberts-LaForge Library