Principles of automated theorem proving /

Bibliographic Details

Main Author:	Duffy, David A.
Format:	Book
Language:	English
Published:	Chichester ; New York : Wiley, [1991]
Series:	Wiley professional computing.
Subjects:	Automatic theorem proving.