External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

George Boole, a Forerunner of Symbolic Computation

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. [doi]

Authors

Luis M. Laita

This author has not been identified. Look up 'Luis M. Laita' in Google

Luis de Ledesma

This author has not been identified. Look up 'Luis de Ledesma' in Google

Eugenio Roanes-Lozano

This author has not been identified. Look up 'Eugenio Roanes-Lozano' in Google

Alberto Brunori

This author has not been identified. Look up 'Alberto Brunori' in Google
runs on