Cover image not available

Tutorial guide to the CLAM proof planner

Peter Madden

Publication Data

Title Tutorial guide to the CLAM proof planner
Author Peter Madden
Contributor
Publisher University of Edinburgh, Dept. of Artificial Intelligence
Publication date 1992
Publication location Edinburgh
Language English

Descriptive Notes

In spiral binder.

Topics

CLAM (Computer program)

Catalogue Data

OBNB ID GB9221668
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 35 p.
P1042 Includes bibliographical references.

Buy a copy

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

Tutorial guide to the CLAM proof planner by Peter Madden. Published by University of Edinburgh, Dept. of Artificial Intelligence in 1992. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.