×

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

工作数学家的大规模形式证明——从亚历山大里亚项目中吸取的教训。 (英语) Zbl 07810720号

Catherine Dubois(编辑)等人,《智能计算机数学》。第16届国际会议,CICM 2023,英国剑桥,2023年9月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14101, 3-15 (2023).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用

Isabelle/HOL中关于带隐式载波的代数结构的推理。 (英语) Zbl 07614673号

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

有界自然函子的商。 (英语) Zbl 07614662号

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

筛选结果依据…

文档类型

出版年份