{"_id":{"_str":"539bf4e72d7be897270006a0"},"__v":0,"authorIDs":["548337bea29145d03f001df5"],"author_short":["de<nbsp>Ledesma, L.","Pérez, A.","Borrajo, D.","Laita, L.<nbsp>M."],"bibbaseid":"denbspledesma-prez-borrajo-laita-theorydrivenhistoricaldiscoveryboole39sabstractformalizationoflogic-1995","bibdata":{"author":["de Ledesma, Luis","Pérez, Aurora","Borrajo, Daniel","Laita, Luis M."],"author_short":["de<nbsp>Ledesma, L.","Pérez, A.","Borrajo, D.","Laita, L.<nbsp>M."],"bibtex":"@inproceedings{ spring95,\n author = {Luis de Ledesma and Aurora Pérez and Daniel Borrajo and Luis M. Laita},\n title = {Theory-driven historical discovery: Boole's abstract formalization of Logic},\n booktitle = {Working notes of the AAAI Spring Series Symposium 1995 on Systematic Methods of Scientific Discovery},\n key = {Other},\n month = {March},\n pages = {60-65},\n url = {spring95.ps.gz},\n year = {1995}\n}","bibtype":"inproceedings","booktitle":"Working notes of the AAAI Spring Series Symposium 1995 on Systematic Methods of Scientific Discovery","id":"spring95","key":"Other","month":"March","pages":"60-65","title":"Theory-driven historical discovery: Boole's abstract formalization of Logic","type":"inproceedings","url":"spring95.ps.gz","year":"1995","bibbaseid":"denbspledesma-prez-borrajo-laita-theorydrivenhistoricaldiscoveryboole39sabstractformalizationoflogic-1995","role":"author","urls":{"Paper":"http://data.bibbase.org/author/luis-de-ledesma/spring95.ps.gz"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/luis-de-ledesma/?format=bibtex","downloads":0,"keywords":[],"search_terms":["theory","driven","historical","discovery","boole","abstract","formalization","logic","de<nbsp>ledesma","pérez","borrajo","laita"],"title":"Theory-driven historical discovery: Boole's abstract formalization of Logic","year":1995,"dataSources":["sbjSNLq6N22cYQBgB"]}