马克·比克福德;罗伯特·康斯特布尔;约瑟夫·哈尔珀;萨宾娜·彼得里德 使用事件结构的分布式系统的基于知识的综合。 (英语) Zbl 1213.68202号 日志。计算方法。科学。 7,第2号,第14号论文,36页(2011年).MSC公司:68号30 03B42号 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,日志。计算方法。科学。7,第2号,第14号论文,36页(2011年;Zbl 1213.68202) 全文: 内政部
马克·比克福德;罗伯特·康斯特布尔。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;萨宾娜·彼得里德 使用事件结构的分布式系统的基于知识的综合。 (英语) Zbl 1108.68491号 Baader,Franz(编辑)等人,《编程逻辑、人工智能和推理》。2005年3月14日至18日,乌拉圭蒙得维的亚,第11届国际会议,LPAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25236-3/pbk)。计算机科学课堂讲稿3452。人工智能课堂讲稿,449-465(2005)。MSC公司:第68季度第60季度 64岁以下 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人,Lect。注释计算。科学。3452、449--465(2005;Zbl 1108.68491) 全文: 内政部