×

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

认识逻辑的形式化的健全性和完整性。 (英语) Zbl 07547730号

Silva,Alexandra(编辑)等人,《逻辑、语言、信息和计算》。第27届国际研讨会,WoLLIC 2021,虚拟活动,2021年10月5日至8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13038, 1-15 (2021).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

形式化混合逻辑的塞利格曼式表格系统(短文)。 (英语) Zbl 07614529号

Peltier,Nicolas(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166474-481(2020年)。
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有绑定的形式化通用语法理论。 (英语) Zbl 1468.68072号

Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499, 241-261 (2017).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段