{"_id":{"_str":"5350198083dcd70757000531"},"__v":1,"authorIDs":["5457199e2abc8e9f3700006b"],"author_short":["de<nbsp>Ledesma, L.","Pérez, A.","Borrajo, D.","Laita, L.<nbsp>M."],"bibbaseid":"denbspledesma-prez-borrajo-laita-theorydrivenhistoricaldiscoveryboolesabstractformalizationoflogic-1995","bibdata":{"address":"Stanford, CA (USA)","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 \n\tand Luis M. Laita},\n title = {Theory-driven historical discovery: Boole's abstract \n formalization of Logic},\n booktitle = {Working notes of the AAAI Spring Series Symposium\n\t1995 on Systematic Methods of Scientific Discovery},\n year = {1995},\n cicyt = {workshops},\n key = {Other},\n url = {spring95.ps.gz},\n publisher = {AAAI},\n address = {Stanford, CA (USA)},\n month = {March},\n pages = {60-65},\n jcr = {}\n}","bibtype":"inproceedings","booktitle":"Working notes of the AAAI Spring Series Symposium 1995 on Systematic Methods of Scientific Discovery","cicyt":"workshops","id":"spring95","jcr":"","key":"Other","month":"March","pages":"60-65","publisher":"AAAI","title":"Theory-driven historical discovery: Boole's abstract formalization of Logic","type":"inproceedings","url":"spring95.ps.gz","year":"1995","bibbaseid":"denbspledesma-prez-borrajo-laita-theorydrivenhistoricaldiscoveryboolesabstractformalizationoflogic-1995","role":"author","urls":{"Paper":"http://www.plg.inf.uc3m.es/~dborrajo/papers/spring95.ps.gz"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.plg.inf.uc3m.es/~dborrajo/papers/publist.bib","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":["GRMx3g4Qbe3fYM8eY"]}