Books by Alan Bundy
3 titles available, newest first by original publication date.
Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy
$160.99
Artificial Intelligence Techniques: A Comprehensive Catalogue
Artificial Intelligence Techniques: A Comprehensive Catalogue
Alan Bundy
$67.99
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
Alan Bundy
$67.99