Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori. George Boole, a Forerunner of Symbolic Computation. In John A. Campbell, Eugenio Roanes-Lozano, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers. Volume 1930 of Lecture Notes in Computer Science, pages 1-19, Springer, 2000.
Abstract is missing.