Cover image not available

An investigation and rational reconstruction of the UT theorem prover

Dave Plummer

Publication Data

Title An investigation and rational reconstruction of the UT theorem prover
Author Dave Plummer
Contributor
Publisher Dept. of Artificial Intelligence, University of Edinburgh
Publication date 1985
Publication location Edinburgh
Language English

Topics

Automatic theorem proving

Catalogue Data

OBNB ID GB8705257
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.30285

ISBD

P1053 10p.
P1042 Bibliography: p9-10.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

An investigation and rational reconstruction of the UT theorem prover by Dave Plummer. Published by Dept. of Artificial Intelligence, University of Edinburgh in 1985. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.