×

找到7个文档（结果1-7）

最新的 引文 关联
弗洛里安·拉贝；弗兰齐斯卡·韦伯

理论图中的形态相等。 （英语） Zbl 07810731号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14101, 174-189 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Rabe}和\textit{F.Weber}，莱克特。票据计算。科学。14101174--189（2023；Zbl 07810731）
全文： 内政部
穆勒，丹尼斯；迈克尔·科尔哈斯

将形式数学注入LaTeX。 （英语） Zbl 07691298号

Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13467, 168-183 (2022).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit｛D.Müller｝和\textit｛M.Kohlhase｝，Lect。票据计算。科学。13467，168-183（2022；Zbl 07691298）
全文： 内政部
弗洛里安·拉贝；穆勒，丹尼斯

用隐式形态构建理论。 （英语） Zbl 1444.68293号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。11563, 154-173 (2019).
MSC公司：68伏30
PDF格式BibTeX公司 XML格式引用
\textit{F.Rabe}和\textit{D.Müller}，莱克特。票据计算。科学。11563、154--173（2019年；Zbl 1444.68293）
全文： 内政部 哈尔
Cezary卡利西克；约瑟夫·乌尔班；乌迈尔·西迪克；卡恩·阿夫沙尔·萨纳兹；Cvetan Dunchev公司；索菲涅·塔哈尔

物理形式化：自动化、演示和基础问题。 （英语） Zbl 1417.68186号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。9150, 288-295 (2015).
MSC公司：68吨15 78-04
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}等人，莱克特。票据计算。科学。9150288--295（2015；Zbl 1417.68186）
全文： 内政部
米尼亚·伊恩库；迈克尔·科尔哈斯

通过归纳材料进行数学知识管理。 （英语） Zbl 1417.68208号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。9150, 187-202 (2015).
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.Iancu}和\textit{M.Kohlhase}，莱克特。票据计算。科学。9150187--202（2015；Zbl 1417.68208）
全文： 内政部
米尼亚·伊恩库；迈克尔·科尔哈斯

数学知识传播和聚合的灵活形式模型。 （英语） Zbl 1417.68207号

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。9150, 137-152 (2015).
MSC公司：68立方英尺 68单位35
PDF格式BibTeX公司 XML格式引用
\textit｛M.Iancu｝和\textit｛M.Kohlhase｝，Lect。票据计算。科学。9150137--152（2015；Zbl 1417.68207）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

出版年份

全部的 前3名

主字段

全部的 前3名

软件