Theory-driven historical discovery: Boole's abstract formalization of Logic. de Ledesma, L.; Pérez, A.; Borrajo, D.; and Laita, L. M. In Working notes of the AAAI Spring Series Symposium 1995 on Systematic Methods of Scientific Discovery, pages 60-65, March, 1995.
Theory-driven historical discovery: Boole's abstract formalization of Logic [link]Paper  bibtex   
@inproceedings{ spring95,
  author    = {Luis de Ledesma and Aurora Pérez and Daniel Borrajo and Luis M. Laita},
  title     = {Theory-driven historical discovery: Boole's abstract formalization of Logic},
  booktitle   = {Working notes of the AAAI Spring Series Symposium 1995 on Systematic Methods of Scientific Discovery},
  key   = {Other},
  month   = {March},
  pages   = {60-65},
  url   = {spring95.ps.gz} ,
  year   = {1995}
}
Downloads: 0