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, Stanford, CA (USA), March, 1995. AAAI.
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},
  year = {1995},
  cicyt = {workshops},
  key = {Other},
  url = {spring95.ps.gz},
  publisher = {AAAI},
  address = {Stanford, CA (USA)},
  month = {March},
  pages = {60-65},
  jcr = {}
}
Downloads: 0