Cover image not available

Gazing : using the structure of the theory in theorem proving

Dave Plummer

Publication Data

Title Gazing : using the structure of the theory in theorem proving
Author Dave Plummer
Contributor
Publisher University of Edinburgh, Dept. of Artificial Intelligence
Publication date 1985
Publication location Edinburgh
Language English

Topics

Automatic theorem proving

Catalogue Data

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

ISBD

P1053 6p.
P1042 Bibliography: p6.

Buy a copy

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

Gazing : using the structure of the theory in theorem proving by Dave Plummer. Published by University of Edinburgh, Dept. of Artificial Intelligence in 1985. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.