×

找到210个文档(结果1-100)

修改逻辑。 (英语) Zbl 07740519号

Béziau,Jean-Yves(编辑)等人,《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会(2011-2019年)上的会谈。查姆:Birkhäuser。通用螺栓。日志。,303-320(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

组合量子逻辑。 (英语) Zbl 1264.03128号

Coecke,Bob(编辑)等人,《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林:施普林格出版社(ISBN 978-3-642-38163-8/pbk)。计算机科学课堂讲稿7860,21-36(2013)。
MSC公司:03G12号机组 18日第10天 81页第10页
PDF格式BibTeX公司 XML格式引用

具有18个原子的((3,3)-齐次量子逻辑。一、。 (英语。俄文原件) Zbl 1267.03063号

俄罗斯数学。 56,第11号,62-66(2012); Izv的翻译。维什。乌切布。扎韦德。,材料2012,第11号,72-78(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于过渡系统生成的正交模偏序集。 (英语) Zbl 1347.68253号

Coecke,Bob(编辑)等人,第五届量子物理和逻辑国际研讨会和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,147-154页(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

软件