×

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

基于数学知识管理的学习支持系统。 (英语) Zbl 07810725号

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

将形式数学注入LaTeX。 (英语) Zbl 07691298号

Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13467, 168-183 (2022).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

以知识表示格式访问Isabelle内容。 (英语) Zbl 07756106号

Marc Bezem等人,第25届国际校样和程序类型会议。2019年,2019年6月11日至14日,挪威奥斯陆。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175,第1条,第24页(2020年)。
MSC公司:03B70号 68号30
PDF格式BibTeX公司 XML格式引用

逻辑框架中的逻辑无关证明搜索(短文)。 (英语) Zbl 07614524号

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

形式数学系统概念之间的对齐分类。 (英语) Zbl 1367.68309号

Geuvers,Herman(编辑)等人,《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议,CICM 2017。诉讼程序。查姆:施普林格(ISBN 978-3-319-62074-9/pbk;978-3-3169-62075-6/电子书)。计算机科学课程讲稿10383。《人工智能讲义》,83-98(2017)。
MSC公司:68立方英尺 第68页第15页 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

SMGloM项目和系统:走向数学术语和本体。 (英语) Zbl 1434.68649号

Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11日至14日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9725, 451-457 (2016).
MSC公司:68伏30 68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

OpenDreamKit项目中的互操作性:中间的数学方法。 (英语) Zbl 1344.68268号

Michael Kohlhase(编辑)等人,《智能计算机数学》。2016年7月25日至29日,第九届国际会议,CICM 2016,波兰比亚莱斯托克。诉讼程序。查姆:施普林格(ISBN 978-3-319-42546-7/pbk;978-3-316-42547-4/电子书)。计算机科学课程讲稿9791。人工智能课堂讲稿,117-131(2016)。
PDF格式BibTeX公司 XML格式引用

形式化数学的柔性算子。 (英语) Zbl 1304.68171号

Watt,Stephen M.(编辑)等人,《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-08433-6/pbk)。计算机科学课程讲稿8543。《人工智能课堂讲稿》,312-327(2014)。
MSC公司:68立方英尺
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向异构工具集Hets中的逻辑框架。 (英语) Zbl 1278.68286号

Mossakowski,Till(编辑)等人,代数开发技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137139-159(2012)。
MSC公司:68T27型 03B40型 第68季度第65季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型理论隐藏的证明理论解释。 (英语) 兹比尔1278.68202

Mossakowski,Till(编辑)等人,代数开发技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137118-138(2012)。
MSC公司:第68季度第65季度 03B40型 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

电子表格与框架的交互:探索数学实践。 (英语) Zbl 1247.68274号

Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。《人工智能讲义》,341-356(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在具有有序函数排序和常量重载的扩展lambda演算中实现统一。 (英语) Zbl 1433.68554号

阿兰·邦迪(编辑),《自动扣除——CADE-12》。第十二届国际会议,法国南希,1994年6月26日至7月1日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。814, 620-634 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

部分函数的强Kleene逻辑的机械化。 (英语) Zbl 1433.03024号

阿兰·邦迪(编辑),《自动扣除——CADE-12》。第十二届国际会议,法国南希,1994年6月26日至7月1日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。814, 371-385 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段