×

找到19个文档(结果1-19)

规范推理和结果。 (英语) Zbl 1482.68227号

Andrighetto,Giulia(编辑)等,规范化多智能体系统。第三届研讨会会议记录,德国达格斯图尔,2012年。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。Dagstuhl Follow-Ups 4,33-70(2013)。
MSC公司:68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

全部的 前3名

软件