Cover image not available

The CLAM proof planner : user manual and programmer manual

Frank Van Harmelen

Publication Data

Title The CLAM proof planner : user manual and programmer manual
Author Frank Van Harmelen
Publisher Department of Artificial Intelligence, University of Edinburgh
Publication date 1989
Publication location London
Language English

Descriptive Notes

Includes index.

Catalogue Data

OBNB ID GB9220255
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 006.3

ISBD

P1053 71p.

Buy a copy

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

The CLAM proof planner : user manual and programmer manual by Frank Van Harmelen. Published by Department of Artificial Intelligence, University of Edinburgh in 1989. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.