Integration of automated reasoners (poster session): a progress report. Armando, A., Ranise, S., & Zini, D. In Kerber, M. & Kohlhase, M., editors, Symbolic Computation and Automated Reasoning, pages 237--238. A. K. Peters, Ltd., Natick, MA, USA, 2001. bibtex @incollection{375145,
author = {Armando, Alessandro and Ranise, Silvio and Zini, Daniele},
title = {Integration of automated reasoners (poster session): a progress report},
booktitle = {Symbolic Computation and Automated Reasoning},
editor = {Manfred Kerber and Michael Kohlhase},
year = {2001},
isbn = {1-56881-145-4},
pages = {237--238},
publisher = {A. K. Peters, Ltd.},
address = {Natick, MA, USA}
}
Downloads: 0
{"_id":"eu7w4S2BvGZQ6iBuz","bibbaseid":"armando-ranise-zini-integrationofautomatedreasonerspostersessionaprogressreport-2001","downloads":0,"creationDate":"2016-08-26T10:17:26.149Z","title":"Integration of automated reasoners (poster session): a progress report","author_short":["Armando, A.","Ranise, S.","Zini, D."],"year":2001,"bibtype":"incollection","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["Silvio"],"suffixes":[]},{"propositions":[],"lastnames":["Zini"],"firstnames":["Daniele"],"suffixes":[]}],"title":"Integration of automated reasoners (poster session): a progress report","booktitle":"Symbolic Computation and Automated Reasoning","editor":[{"firstnames":["Manfred"],"propositions":[],"lastnames":["Kerber"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]}],"year":"2001","isbn":"1-56881-145-4","pages":"237--238","publisher":"A. K. Peters, Ltd.","address":"Natick, MA, USA","bibtex":"@incollection{375145,\n author = {Armando, Alessandro and Ranise, Silvio and Zini, Daniele},\n title = {Integration of automated reasoners (poster session): a progress report},\n booktitle = {Symbolic Computation and Automated Reasoning},\n editor = {Manfred Kerber and Michael Kohlhase},\n year = {2001},\n isbn = {1-56881-145-4},\n pages = {237--238},\n publisher = {A. K. Peters, Ltd.},\n address = {Natick, MA, USA}\n}\n\n","author_short":["Armando, A.","Ranise, S.","Zini, D."],"editor_short":["Kerber, M.","Kohlhase, M."],"key":"375145","id":"375145","bibbaseid":"armando-ranise-zini-integrationofautomatedreasonerspostersessionaprogressreport-2001","role":"author","urls":{},"downloads":0},"search_terms":["integration","automated","reasoners","poster","session","progress","report","armando","ranise","zini"],"keywords":[],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["sjwHXeqZidkB6GRgD"]}