Interfacing computer algebra and deduction systems. Armando, A. & Zini, D. In Kerber, M. & Kohlhase, M., editors, Symbolic Computation and Automated Reasoning, pages 49--64. A. K. Peters, Ltd., Natick, MA, USA, 2001.
![Interfacing computer algebra and deduction systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @incollection{375128,
author = {Armando, Alessandro and Zini, Daniele},
title = {Interfacing computer algebra and deduction systems},
booktitle = {Symbolic Computation and Automated Reasoning},
editor = {Manfred Kerber and Michael Kohlhase},
year = {2001},
isbn = {1-56881-145-4},
url = {http://www.ai-lab.it/armando/pub/calculemus00-lba.pdf},
pages = {49--64},
publisher = {A. K. Peters, Ltd.},
address = {Natick, MA, USA}
}Downloads: 0
{"_id":"PYAfvL2vf2zPWQ5jP","bibbaseid":"armando-zini-interfacingcomputeralgebraanddeductionsystems-2001","downloads":0,"creationDate":"2016-08-26T10:17:26.146Z","title":"Interfacing computer algebra and deduction systems","author_short":["Armando, A.","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":["Zini"],"firstnames":["Daniele"],"suffixes":[]}],"title":"Interfacing computer algebra and deduction systems","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","url":"http://www.ai-lab.it/armando/pub/calculemus00-lba.pdf","pages":"49--64","publisher":"A. K. Peters, Ltd.","address":"Natick, MA, USA","bibtex":"@incollection{375128,\n author = {Armando, Alessandro and Zini, Daniele},\n title = {Interfacing computer algebra and deduction systems},\n booktitle = {Symbolic Computation and Automated Reasoning},\n editor = {Manfred Kerber and Michael Kohlhase},\n year = {2001},\n isbn = {1-56881-145-4},\n url = {http://www.ai-lab.it/armando/pub/calculemus00-lba.pdf},\n pages = {49--64},\n publisher = {A. K. Peters, Ltd.},\n address = {Natick, MA, USA}\n}\n\n","author_short":["Armando, A.","Zini, D."],"editor_short":["Kerber, M.","Kohlhase, M."],"key":"375128","id":"375128","bibbaseid":"armando-zini-interfacingcomputeralgebraanddeductionsystems-2001","role":"author","urls":{"Paper":"http://www.ai-lab.it/armando/pub/calculemus00-lba.pdf"},"downloads":0},"search_terms":["interfacing","computer","algebra","deduction","systems","armando","zini"],"keywords":[],"authorIDs":[],"dataSources":["sjwHXeqZidkB6GRgD"]}