Communication protocols for mathematical services. Armando, A., Kohlase, M., & Ranise, S. In Kerber, M. & Kohlhase, M., editors, Symbolic Computation and Automated Reasoning, pages 33--48. A. K. Peters, Ltd., Natick, MA, USA, 2001.
![Communication protocols for mathematical services [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @incollection{375126,
year = {2001},
isbn = {1-56881-145-4},
booktitle = {Symbolic Computation and Automated Reasoning},
author = {Armando, Alessandro and Kohlase, Michael and Ranise, Silvio},
title = {Communication protocols for mathematical services},
editor = {Manfred Kerber and Michael Kohlhase},
url = {http://www.ai-lab.it/armando/pub/calculemus00-kqml.pdf},
pages = {33--48},
publisher = {A. K. Peters, Ltd.},
address = {Natick, MA, USA}
}Downloads: 0
{"_id":"aJi8mwAqJ8DxECh4h","bibbaseid":"armando-kohlase-ranise-communicationprotocolsformathematicalservices-2001","downloads":0,"creationDate":"2016-08-26T10:17:26.125Z","title":"Communication protocols for mathematical services","author_short":["Armando, A.","Kohlase, M.","Ranise, S."],"year":2001,"bibtype":"incollection","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"incollection","type":"incollection","year":"2001","isbn":"1-56881-145-4","booktitle":"Symbolic Computation and Automated Reasoning","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Kohlase"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Ranise"],"firstnames":["Silvio"],"suffixes":[]}],"title":"Communication protocols for mathematical services","editor":[{"firstnames":["Manfred"],"propositions":[],"lastnames":["Kerber"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Kohlhase"],"suffixes":[]}],"url":"http://www.ai-lab.it/armando/pub/calculemus00-kqml.pdf","pages":"33--48","publisher":"A. K. Peters, Ltd.","address":"Natick, MA, USA","bibtex":"@incollection{375126,\n year = {2001},\n isbn = {1-56881-145-4},\n booktitle = {Symbolic Computation and Automated Reasoning},\n author = {Armando, Alessandro and Kohlase, Michael and Ranise, Silvio},\n title = {Communication protocols for mathematical services},\n editor = {Manfred Kerber and Michael Kohlhase},\n url = {http://www.ai-lab.it/armando/pub/calculemus00-kqml.pdf},\n pages = {33--48},\n publisher = {A. K. Peters, Ltd.},\n address = {Natick, MA, USA}\n}\n\n","author_short":["Armando, A.","Kohlase, M.","Ranise, S."],"editor_short":["Kerber, M.","Kohlhase, M."],"key":"375126","id":"375126","bibbaseid":"armando-kohlase-ranise-communicationprotocolsformathematicalservices-2001","role":"author","urls":{"Paper":"http://www.ai-lab.it/armando/pub/calculemus00-kqml.pdf"},"downloads":0},"search_terms":["communication","protocols","mathematical","services","armando","kohlase","ranise"],"keywords":[],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["sjwHXeqZidkB6GRgD"]}