(1) Foundations Of Artificial Intelligence Edited by David Kirsh ISBN: 9780262610759 MIT Press View at publisher
(2) KAM: A System for Intelligently Guiding Numerical Experimentation by Computer by Kenneth Man-Kam Yip ISBN: 9780262240345 MIT Press View at publisher
(3) Algebraic Computing with REDUCE: Lecture Notes from the First Brazilian School on Computer Algebra Vol. 1 Malcolm A. H. MacCallum; Francis J. Wright; Marcelo J. Rebouças; Waldir L. Roque ISBN: 9780198534433 Oxford University Press View at publisher