×

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

拓扑证据逻辑:多智能体设置。 (英语) Zbl 1530.03060号

奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13206, 237-257 (2022).
MSC公司:03B42号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态交互信念修正的定性理论。 (英语) Zbl 1384.03099号

Arló-Costa,Horacio(编辑)等人,《形式认识论阅读》。资料来源。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。查姆:施普林格(ISBN 978-3-319-20450-5/hbk;978-3-3169-20451-2/电子书)。斯普林格哲学研究生文集1813-858(2016)。
MSC公司:03B42号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

相关信息:多体量子系统的逻辑。 (英语) Zbl 1348.81048号

Coecke,Bob(编辑)等人,《第六届量子物理与逻辑国际研讨会论文集》(QPL 2009),英国牛津,2009年4月8日至9日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》270,第2期,3-14页(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份