Cover image not available

Gazing : identifying potentially useful inferences

Dave Plummer

Publication Data

Title Gazing : identifying potentially useful inferences
Author Dave Plummer
Contributors Alan Bundy, Alan Bundy
Publisher Department of Artificial Intelligence University of Edinburgh
Publication date 1984
Publication location Edinburgh
Language English

Topics

Automatic theorem proving

Catalogue Data

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

ISBD

P1053 20p.

Buy a copy

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

Gazing : identifying potentially useful inferences by Dave Plummer. Published by Department of Artificial Intelligence University of Edinburgh in 1984. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.