Theory-driven historical discovery: Boole's abstract formalization of Logic. de Ledesma, L., Pérez, A., Borrajo, D., & 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