×

找到14份文件(结果1-14)

100
马查克斯

无交替演算的聚焦系统。 (英语) Zbl 07532527

Das,Anupam(ed.)等人,《自动推理与分析表及相关方法》。第30届国际会议,2021年9月6日至9日,英国伯明翰,TABLEAUX 2021。会议记录。查姆:斯普林格。选择。笔记计算。科学。12842371-388(2021年)。
理学硕士:68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

归纳法和归纳法的无根据演绎法。 (英语) Zbl 07437069

Platzer,André(ed.)等人,《自动扣除——CADE 28。第28届自动扣除国际会议,虚拟事件,2021年7月12日至15日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12699年3月24日(2021年)。
理学硕士:03B35型 68V15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

不动点线性逻辑循环证明的局部有效性。 (英语) Zbl 07533360

Ghica,Dan R.(ed.)等人,《第27届EACSL计算机科学逻辑年会》,CSL 2018,英国伯明翰,2018年9月4日至8日,会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。119,第35条,第23页(2018年)。
理学硕士:03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

常识的证明理论。 (英语) Zbl 1437.03070

van Ditmarsch,Hans(编辑)等,Jaakko Hintikka关于知识和博弈论语义学。献给Jaakko Hintikka。查姆:斯普林格。未完成。贡献。日志。12433-455(2018年)。
理学硕士:03B42号 03F03号 03F05号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

循环算法等价于Peano算法。 (英语) Zbl 1486.03095号

Esparza,Javier(ed.)等人,《软件科学与计算结构基础》。第20届国际会议,2017年FOSSACS,作为欧洲软件理论与实践联合会议的一部分举行,2017年4月22日至29日,瑞典乌普萨拉,2017年。柏林:斯普林格。选择。笔记计算。科学。10203283-300(2017年)。
理学硕士:03F07号 03层30 03层35
PDF格式 BibTeX公司 XML 引用
全文: 内政部

有限迹上线性时间mu演算的可满足性。 (英语) Zbl 1476.68178

Dinh,Thang N.(ed.)等人,《计算与组合学》。第22届国际会议,COCOON 2016,越南胡志明市,2016年8月2日至4日。会议记录。查姆:斯普林格。选择。笔记计算。科学。9797611-622(2016年)。
理学硕士:6885年 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

线性时-时逻辑的变尺度终止与可满足性。 (英语) Zbl 1347.03034

Tinelli,Cesare(ed.)等人,《组合系统的前沿》。第八届国际研讨会,2011年10月5日至7日,德国萨尔布吕肯。柏林:斯普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,28-39(2011年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

有两种方法可以获得共同的知识。 (英语) Zbl 1345.03027

Bolander,Thomas(ed.)等人,《第六届模态方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12日至14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记26283-98(2010)。
理学硕士:03B42号 03F03号 68T27型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

文件类型

审查状态

全部的 前5名

出版年份

分类

全部的 前3名

软件