{"_id":{"_str":"51f5916328e84a503b0001a0"},"__v":4,"authorIDs":["5457199e2abc8e9f3700006b","5e043a82705486df01000018","5e2c5dd0c1aa2fde01000076","5e44547edf3c2af30100012c","9GHhEYMmcM6DQp4uz","LPBwsyJwDyRCFh7cn","N3kbLekbufDR5EPN3","NhJiX5J7LoY2rwyym","adTeLu6tDbhFJymfm","bEBM7enGxnmyQqMb4","cbqjmYEAaqgRxxBNo"],"author_short":["de Ledesma, L.","Pérez, A.","Borrajo, D.","Laita, L. M."],"bibbaseid":"deledesma-prez-borrajo-laita-theorydrivenhistoricaldiscoveryboolesabstractformalizationoflogic-1995","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","year":"1995","cicyt":"workshops","key":"spring95","url":"spring95.ps.gz","publisher":"AAAI","address":"Stanford, CA (USA)","month":"March","pages":"60-65","jcr":"","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}\n\n","author_short":["de Ledesma, L.","Pérez, A.","Borrajo, D.","Laita, L. M."],"id":"spring95","bibbaseid":"deledesma-prez-borrajo-laita-theorydrivenhistoricaldiscoveryboolesabstractformalizationoflogic-1995","role":"author","urls":{"Paper":"www.plg.inf.uc3m.es/~dborrajo/papers/spring95.ps.gz"},"metadata":{"authorlinks":{"borrajo, d":"http://www.plg.inf.uc3m.es/"}}},"bibtype":"inproceedings","biburl":"www.plg.inf.uc3m.es/~dborrajo/papers/publist.bib","downloads":0,"search_terms":["theory","driven","historical","discovery","boole","abstract","formalization","logic","de ledesma","pérez","borrajo","laita"],"title":"Theory-driven historical discovery: Boole's abstract formalization of Logic","title_words":["theory","driven","historical","discovery","boole","abstract","formalization","logic"],"year":1995,"keywords":[],"dataSources":["GRMx3g4Qbe3fYM8eY","eeebSGk8rTW4cn9yN","6rjpjXD4NNhQBc3tX","7edkeyGuXCEqPH6qK"]}