The control component of open mechanized reasoning systems. Armando, A., Coglio, A., & Giunchiglia, F. Electronic Notes in Theoretical Computer Science, 23(3):322-339, 1999. Paper doi bibtex @ARTICLE{Armando1999322,
author={Armando, A., Coglio, A., Giunchiglia, F.},
title={The control component of open mechanized reasoning systems},
journal={Electronic Notes in Theoretical Computer Science},
year={1999},
volume={23},
number={3},
pages={322-339},
doi={10.1016/S1571-0661(05)80606-1},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-19144364023&partnerID=40&md5=43fdac8f442ed0300fc70f9e457daa5e},
document_type={Conference Paper},
source={Scopus},
}
Downloads: 0
{"_id":"qS7hGFoeaaitMyJ7b","bibbaseid":"armando-coglio-giunchiglia-thecontrolcomponentofopenmechanizedreasoningsystems-1999","downloads":0,"creationDate":"2016-08-26T09:24:47.175Z","title":"The control component of open mechanized reasoning systems","author_short":["Armando, A.","Coglio, A.","Giunchiglia, F."],"year":1999,"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":[]}],"title":"The control component of open mechanized reasoning systems","journal":"Electronic Notes in Theoretical Computer Science","year":"1999","volume":"23","number":"3","pages":"322-339","doi":"10.1016/S1571-0661(05)80606-1","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-19144364023&partnerID=40&md5=43fdac8f442ed0300fc70f9e457daa5e","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando1999322,\nauthor={Armando, A., Coglio, A., Giunchiglia, F.},\ntitle={The control component of open mechanized reasoning systems},\njournal={Electronic Notes in Theoretical Computer Science},\nyear={1999},\nvolume={23},\nnumber={3},\npages={322-339},\ndoi={10.1016/S1571-0661(05)80606-1},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-19144364023&partnerID=40&md5=43fdac8f442ed0300fc70f9e457daa5e},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Coglio, A.","Giunchiglia, F."],"key":"Armando1999322","id":"Armando1999322","bibbaseid":"armando-coglio-giunchiglia-thecontrolcomponentofopenmechanizedreasoningsystems-1999","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-19144364023&partnerID=40&md5=43fdac8f442ed0300fc70f9e457daa5e"},"downloads":0},"search_terms":["control","component","open","mechanized","reasoning","systems","armando","coglio","giunchiglia"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}