AI & Expertise: Heuristic Search, Inference Engines, Automatic Proving

Hardcover

ISBN: 978-0-470-21384-1

ISBN-10: 0-470-21384-1

See also (possibly by other authors):
1989	Hardcover	Ai and Expertise: Heuristic Search Inference Engines Automatic Proving (Ellis Horwood Series in Artificial Intelligence) (English and French Edition)