@收款{zbMATH01664910，作者={Armando，Alessandro and Kohlhase，Michael and Ranise，Silvio}，标题={基于{KQML}和{OMRS}}的数学服务通信协议，BookTitle={符号计算和自动推理。CALCULEMUS-2000研讨会。第八届符号计算和机械化推理集成研讨会，苏格兰圣安德鲁斯，GB，2000年8月6--7日}，国际标准图书编号={1-56881-145-4}，页码={33--48}，年份={2001}，出版商={Natick，MA：A.K.Peters}，语言={英语}，关键词={68M12}，zbMATH={1664910}，Zbl={0986.68003}}