{"_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"]}