Artificial Intelligence Techniques: A Comprehensive Catalogue
by Alan Bundy
ISBN 13: 9783540593232
Format: Paperback (162 pages) Publisher: Springer Berlin Heidelberg Published: 16 Dec 1996
Save for later
Catalogue of Artificial Intelligence Tools (Symbolic Computation)
ISBN 13: 9783540139386
Format: Paperback (180 pages) Publisher: Springer-Verlag Published: 01 Jan 1984
Resolution Proof Systems: An Algebraic Theory (Automated Reasoning Series): 4
by Z. Stachniak, Alan Bundy
ISBN 13: 9789401072519
Format: Paperback (228 pages) Publisher: Springer Published: 31 Jul 2012