编辑配置文件(在新选项卡中打开) 多米尼克·帕斯特 作者ID: 多米尼克糕点 发布日期: 多米尼克·帕斯特;帕斯特尔,D。 已编制索引的文档: 6出版物自1978年以来 合著者 6 单作者的 系列 2 人工智能 1 数学教育研究 1 人工智能通信 1 数学与人工智能年鉴 字段 5 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用14中的次10文件 引用人▼ 年份▼ 集合论中定理的自动证明。 Zbl 0374.68059号 帕斯特尔,D。 7 1978 MUSCADET:使用数学中的知识和元知识的自动定理证明系统。 Zbl 0668.68103号 多米尼克·帕斯特 三 1989 MUSCADET定理证明器的优缺点——来自CASC-JC的示例。 Zbl 1019.68102号 多米尼克·帕斯特 2 2002 数学观察:辅助诊断和理论自动演示。 Zbl 0397.00023号 多米尼克·帕斯特 1 1978 MUSCADET 2。3:基于自然演绎的知识型定理证明器。 Zbl 0988.68594号 多米尼克·帕斯特 1 2001 MUSCADET定理证明器的优缺点——来自CASC-JC的示例。 Zbl 1019.68102号 多米尼克·帕斯特雷 2 2002 MUSCADET 2。3:基于自然演绎的知识型定理证明器。 Zbl 0988.68594号 多米尼克·帕斯特 1 2001 MUSCADET:一个使用数学知识和元知识的自动定理证明系统。 Zbl 0668.68103号 多米尼克·帕斯特 三 1989 集合论中定理的自动证明。 Zbl 0374.68059号 帕斯特尔,D。 7 1978 数学观察:辅助教学和自动化演示。 Zbl 0397.00023号 多米尼克·帕斯特 1 1978 所有引用出版物 前5名被引用出版物 全部的 前5名16位作者引用 2 多米尼克·帕斯特 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 弗兰克·马洛伊·布朗 1 毛罗·法拉利 1 佛罗伦萨,卡米洛 1 M.希布蒂。 1 马蒂亚·贾姆尼克 1 曼弗雷德·科伯 1 布鲁诺,传奇 1 伦巴第,亨利 1 弗拉基米尔·伊万诺维奇(Vladimir Ivanovich Mart'yanov) 1 阿兰·麦克迈克尔。 1 劳伦斯·查尔斯·保尔森 1 威弗里德·西格 1 沃尔克·索尔格 1 帕特里克·M·沃尔什。 全部的 前5名7篇连载文章中引用 2 人工智能 1 控制论 1 自动推理杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学与人工智能年鉴 1 应用逻辑杂志 1 符号逻辑述评 在2个字段中引用 10 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 按年份列出的引文