The control layer in Open Mechanized Reasoning Systems: Annotations and tactics. Armando, A., Coglio, A., Giunchiglia, F., & Ranise, S. Journal of Symbolic Computation, 32(4):305-332, 2001.
Paper doi bibtex @ARTICLE{Armando2001305,
author={Armando, A., Coglio, A., Giunchiglia, F., Ranise, S.},
title={The control layer in Open Mechanized Reasoning Systems: Annotations and tactics},
journal={Journal of Symbolic Computation},
year={2001},
volume={32},
number={4},
pages={305-332},
doi={10.1006/jsco.2000.0464},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193084&partnerID=40&md5=86a8f7435b541fdeba505c965b7e4c31},
document_type={Article},
source={Scopus},
}
Downloads: 0
{"_id":"uYzxpLgqgKGrJjhhR","bibbaseid":"armando-coglio-giunchiglia-ranise-thecontrollayerinopenmechanizedreasoningsystemsannotationsandtactics-2001","downloads":0,"creationDate":"2016-08-26T09:24:47.046Z","title":"The control layer in Open Mechanized Reasoning Systems: Annotations and tactics","author_short":["Armando, A.","Coglio, A.","Giunchiglia, F.","Ranise, S."],"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":["Coglio"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Giunchiglia"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["S."],"suffixes":[]}],"title":"The control layer in Open Mechanized Reasoning Systems: Annotations and tactics","journal":"Journal of Symbolic Computation","year":"2001","volume":"32","number":"4","pages":"305-332","doi":"10.1006/jsco.2000.0464","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193084&partnerID=40&md5=86a8f7435b541fdeba505c965b7e4c31","document_type":"Article","source":"Scopus","bibtex":"@ARTICLE{Armando2001305,\nauthor={Armando, A., Coglio, A., Giunchiglia, F., Ranise, S.},\ntitle={The control layer in Open Mechanized Reasoning Systems: Annotations and tactics},\njournal={Journal of Symbolic Computation},\nyear={2001},\nvolume={32},\nnumber={4},\npages={305-332},\ndoi={10.1006/jsco.2000.0464},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193084&partnerID=40&md5=86a8f7435b541fdeba505c965b7e4c31},\ndocument_type={Article},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Coglio, A.","Giunchiglia, F.","Ranise, S."],"key":"Armando2001305","id":"Armando2001305","bibbaseid":"armando-coglio-giunchiglia-ranise-thecontrollayerinopenmechanizedreasoningsystemsannotationsandtactics-2001","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0035193084&partnerID=40&md5=86a8f7435b541fdeba505c965b7e4c31"},"downloads":0},"search_terms":["control","layer","open","mechanized","reasoning","systems","annotations","tactics","armando","coglio","giunchiglia","ranise"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}