Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors. Armando, A. & Jebelean, T. Journal of Symbolic Computation, 32(4):303-304, 2001.
Paper doi bibtex @ARTICLE{Armando2001303,
author={Armando, A., Jebelean, T.},
title={Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors},
journal={Journal of Symbolic Computation},
year={2001},
volume={32},
number={4},
pages={303-304},
doi={10.1006/jsco.2001.0467},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549},
document_type={Editorial},
source={Scopus},
}
Downloads: 0
{"_id":"Dyas3PrYmgNgBBYpL","bibbaseid":"armando-jebelean-specialissueoncalculemus99integratingcomputationanddeductionforewordoftheguesteditors-2001","downloads":0,"creationDate":"2016-08-26T09:24:47.049Z","title":"Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors","author_short":["Armando, A.","Jebelean, T."],"year":2001,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Jebelean"],"firstnames":["T."],"suffixes":[]}],"title":"Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors","journal":"Journal of Symbolic Computation","year":"2001","volume":"32","number":"4","pages":"303-304","doi":"10.1006/jsco.2001.0467","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549","document_type":"Editorial","source":"Scopus","bibtex":"@ARTICLE{Armando2001303,\nauthor={Armando, A., Jebelean, T.},\ntitle={Special issue on calculemus-99: Integrating computation and deduction. Foreword of the guest editors},\njournal={Journal of Symbolic Computation},\nyear={2001},\nvolume={32},\nnumber={4},\npages={303-304},\ndoi={10.1006/jsco.2001.0467},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549},\ndocument_type={Editorial},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Jebelean, T."],"key":"Armando2001303","id":"Armando2001303","bibbaseid":"armando-jebelean-specialissueoncalculemus99integratingcomputationanddeductionforewordoftheguesteditors-2001","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193295&partnerID=40&md5=9a077c5f83295fceed7f8d25c7e9c549"},"downloads":0},"search_terms":["special","issue","calculemus","integrating","computation","deduction","foreword","guest","editors","armando","jebelean"],"keywords":["dblp"],"authorIDs":[],"dataSources":["EQov9rEvkmMf5P4ah"]}