George Boole, a Forerunner of Symbolic Computation.

Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori

Browse the full AISC paper archive.