Books listed by ISBN

Alan Bundy

A. B. · A. Bundy · Alan L. Bundy

titlemedia type ISBN-13year of publica-
tion		other author(s)
Artificial Intelligence TechniquesPaperback
978-3-642-60360-01996
Artificial Intelligence Techniques: A Comprehensive CatalogueTaschenbuch
978-3-540-59323-21997
Automated Deduction _ CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings   "
978-3-540-58156-71994
Catalogue of Artificial Intelligence TechniquesHardcover 978-0-387-52959-21990
Catalogue of Artificial Intelligence TechniquesTaschenbuch
978-3-540-52959-01990Alan Smaill
Catalogue of artificial intelligence toolsPaperback 978-0-387-16893-71986
Catalogue of Artificial Intelligence ToolsTaschenbuch
978-3-540-16893-51986
Catalogue of artificial intelligence toolsPaperback 978-0-387-13938-81984
Catalogue of Artificial Intelligence ToolsTaschenbuch
978-3-540-13938-61984
Eco-Logic: Logic-Based Approaches to Ecological ModelingHardcover 978-0-262-18143-31991David Robertson · Robert Muetzelfeldt · Mandy Haggith · Michael Uschold
Rippling: Meta-Level Guidance for Mathematical ReasoningPrinted Access Code 978-0-511-54332-62009David Basin · Dieter Hutter · Andrew Ireland
Rippling: Meta-Level Guidance for Mathematical ReasoningHardcover 978-0-521-83449-02005David Basin · Dieter Hutter · Andrew Ireland
The Computer Modelling of Mathematical Reasoning   " 978-0-12-141250-01983
The Computer Modelling of Mathematical ReasoningPaperback 978-0-12-141252-41983

Academic Press · Cambridge University Press · Springer · The MIT Press

 

Alan Bunkum