Publisher University of Edinburgh, Dept. of Artificial Intelligence
Publication date 1993
Publication location Edinburgh
Language English
Topics
Automatic theorem proving
Catalogue Data
OBNB ID GB9561862
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
ISBD
P1053 v, 58 p.
P1042 Includes bibliographical references and index.
Buy a copy
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Mollusc user's guide : version 1.1 by Bradley L. Richards. Published by University of Edinburgh, Dept. of Artificial Intelligence in 1993. Publication and catalogue information, links to buy online and reader comments.