{"_id":"75ijgxTuKP5xjbLJX","bibbaseid":"deledesma-prez-borrajo-laita-theorydrivenhistoricaldiscoveryboole39sabstractformalizationoflogic-1995","downloads":0,"creationDate":"2015-12-06T21:00:17.234Z","title":"Theory-driven historical discovery: Boole's abstract formalization of Logic","author_short":["de Ledesma, L.","Pérez, A.","Borrajo, D.","Laita, L. M."],"year":1995,"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/daniel-borrajo/?format=bibtex","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luis"],"propositions":["de"],"lastnames":["Ledesma"],"suffixes":[]},{"firstnames":["Aurora"],"propositions":[],"lastnames":["Pérez"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Borrajo"],"suffixes":[]},{"firstnames":["Luis","M."],"propositions":[],"lastnames":["Laita"],"suffixes":[]}],"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":"spring95","month":"March","pages":"60-65","url":"spring95.ps.gz","year":"1995","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}\n\n\n","author_short":["de Ledesma, L.","Pérez, A.","Borrajo, D.","Laita, L. M."],"id":"spring95","bibbaseid":"deledesma-prez-borrajo-laita-theorydrivenhistoricaldiscoveryboole39sabstractformalizationoflogic-1995","role":"author","urls":{"Paper":"http://data.bibbase.org/author/daniel-borrajo/spring95.ps.gz"},"downloads":0},"search_terms":["theory","driven","historical","discovery","boole","abstract","formalization","logic","de ledesma","pérez","borrajo","laita"],"keywords":[],"authorIDs":[],"dataSources":["dkqviPtRHzqwxPEfv"]}