A Computational Approach to George Boole's Discovery of Mathematical Logic. de Ledesma, L., Pérez, A., Borrajo, D., & Laita, L. M. Artificial Intelligence Journal, 91(2):281-308, Elsevier, April, 1997. http://dx.doi.org/10.1016/S0004-3702(97)00017-9Paper bibtex @article{aij-boole,
author = {Luis de Ledesma and Aurora Pérez and Daniel Borrajo and Luis M. Laita},
title = {A Computational Approach to {G}eorge {B}oole's Discovery of {M}athematical {L}ogic},
journal = {Artificial Intelligence Journal},
publisher = {Elsevier},
volume = {91},
number = {2},
pages = {281-308},
month = {April},
year = {1997},
key = {Other},
cicyt = {revista},
jcr = {Q1, 1997: 1.683 (2/54)},
optjcr = {2004: 3.570 (4/78), 2005: 2.368 (7/79), 2006: 2.271 (12/85), 2007: 3.008 (6/93)},
note = {http://dx.doi.org/10.1016/S0004-3702(97)00017-9},
url = {http://hdl.handle.net/10016/6768}
}
Downloads: 0
{"_id":{"_str":"51f5916328e84a503b000185"},"__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-acomputationalapproachtogeorgeboolesdiscoveryofmathematicallogic-1997","bibdata":{"bibtype":"article","type":"article","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":"A Computational Approach to George Boole's Discovery of Mathematical Logic","journal":"Artificial Intelligence Journal","publisher":"Elsevier","volume":"91","number":"2","pages":"281-308","month":"April","year":"1997","key":"aij-boole","cicyt":"revista","jcr":"Q1, 1997: 1.683 (2/54)","optjcr":"2004: 3.570 (4/78), 2005: 2.368 (7/79), 2006: 2.271 (12/85), 2007: 3.008 (6/93)","note":"http://dx.doi.org/10.1016/S0004-3702(97)00017-9","url":"http://hdl.handle.net/10016/6768","bibtex":"@article{aij-boole,\n author = {Luis de Ledesma and Aurora Pérez and Daniel Borrajo and Luis M. Laita},\n title = {A Computational Approach to {G}eorge {B}oole's Discovery of {M}athematical {L}ogic},\n journal = {Artificial Intelligence Journal},\n publisher = {Elsevier},\n volume = {91},\n number = {2},\n pages = {281-308},\n month = {April},\n year = {1997},\n key = {Other},\n cicyt = {revista},\n jcr = {Q1, 1997: 1.683 (2/54)},\n optjcr = {2004: 3.570 (4/78), 2005: 2.368 (7/79), 2006: 2.271 (12/85), 2007: 3.008 (6/93)},\n note = {http://dx.doi.org/10.1016/S0004-3702(97)00017-9},\n url = {http://hdl.handle.net/10016/6768}\n}\n\n","author_short":["de Ledesma, L.","Pérez, A.","Borrajo, D.","Laita, L. M."],"id":"aij-boole","bibbaseid":"deledesma-prez-borrajo-laita-acomputationalapproachtogeorgeboolesdiscoveryofmathematicallogic-1997","role":"author","urls":{"Paper":"http://hdl.handle.net/10016/6768"},"metadata":{"authorlinks":{"borrajo, d":"http://www.plg.inf.uc3m.es/"}}},"bibtype":"article","biburl":"www.plg.inf.uc3m.es/~dborrajo/papers/publist.bib","downloads":0,"search_terms":["computational","approach","george","boole","discovery","mathematical","logic","de ledesma","pérez","borrajo","laita"],"title":"A Computational Approach to George Boole's Discovery of Mathematical Logic","title_words":["computational","approach","george","boole","discovery","mathematical","logic"],"year":1997,"keywords":[],"dataSources":["GRMx3g4Qbe3fYM8eY","eeebSGk8rTW4cn9yN","6rjpjXD4NNhQBc3tX","7edkeyGuXCEqPH6qK"]}