Foreword of the guest editors: Special issue on calculemus-99: Integrating computation and deduction. Armando, A. & Jebelean, T. Journal of Symbolic Computation, 32(4):303-304, 2001.
Paper bibtex @article{Armando2001303,
author = {Armando, Alessandro and Jebelean, Tudor},
title = {Foreword of the guest editors: Special issue on calculemus-99: Integrating computation and deduction.},
journal = {Journal of Symbolic Computation},
year = {2001},
volume = {32},
number = {4},
pages = {303-304},
url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549},
affiliation = {DIST, University of Genova, 16145 Genova, Italy; RISC-Linz, 4232 Hagenberg, Austria},
document_type = {Editorial},
source = {Scopus}
}
Downloads: 0
{"_id":"YD6sCHyJpzkJNMKhx","bibbaseid":"armando-jebelean-forewordoftheguesteditorsspecialissueoncalculemus99integratingcomputationanddeduction-2001","downloads":0,"creationDate":"2016-08-26T10:17:27.302Z","title":"Foreword of the guest editors: Special issue on calculemus-99: Integrating computation and deduction.","author_short":["Armando, A.","Jebelean, T."],"year":2001,"bibtype":"article","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Jebelean"],"firstnames":["Tudor"],"suffixes":[]}],"title":"Foreword of the guest editors: Special issue on calculemus-99: Integrating computation and deduction.","journal":"Journal of Symbolic Computation","year":"2001","volume":"32","number":"4","pages":"303-304","url":"http://www.scopus.com/inward/record.url?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549","affiliation":"DIST, University of Genova, 16145 Genova, Italy; RISC-Linz, 4232 Hagenberg, Austria","document_type":"Editorial","source":"Scopus","bibtex":"@article{Armando2001303,\n author = {Armando, Alessandro and Jebelean, Tudor},\n title = {Foreword of the guest editors: Special issue on calculemus-99: Integrating computation and deduction.},\n journal = {Journal of Symbolic Computation},\n year = {2001},\n volume = {32},\n number = {4},\n pages = {303-304},\n url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549},\n affiliation = {DIST, University of Genova, 16145 Genova, Italy; RISC-Linz, 4232 Hagenberg, Austria},\n document_type = {Editorial},\n source = {Scopus}\n}\n\n","author_short":["Armando, A.","Jebelean, T."],"key":"Armando2001303","id":"Armando2001303","bibbaseid":"armando-jebelean-forewordoftheguesteditorsspecialissueoncalculemus99integratingcomputationanddeduction-2001","role":"author","urls":{"Paper":"http://www.scopus.com/inward/record.url?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549"},"downloads":0},"search_terms":["foreword","guest","editors","special","issue","calculemus","integrating","computation","deduction","armando","jebelean"],"keywords":[],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["sjwHXeqZidkB6GRgD"]}