摘要
致谢
预览
其他人正在查看的类似内容
工具书类
约翰·安德森（John R.Anderson）和克里斯蒂安·勒比埃尔（Christian Lebiere）。 思想的原子成分 劳伦斯·埃尔鲍姆（Lawrence Erlbaum），1998年。 C.Benzmüller等人。Ωmega：走向数学助理。 William McCune编辑。， 程序。 第十四届自动扣除会议 ，LNAI第1249号，第252-255页，澳大利亚汤斯维尔，1997年。 斯普林格·弗拉格。 蒂埃里·科昆德（Thierry Coquand）和杰拉德·休特（Gérard Huet）。 构造微积分。 信息与计算 , 76(2/3):95–120, 1988. 阿明·菲德勒。 使用认知架构规划对话，以自适应解释证据。 托马斯·迪恩（Thomas Dean）编辑。， 程序。 第十六届国际人工智能联合会议（IJCAI） ，第358-363页，瑞典斯德哥尔摩，1999年。 摩根·考夫曼。 阿明·菲德勒。 对话驱动的证据解释改编。 在 程序。 第十七届国际人工智能联合会议（IJCAI） ，华盛顿州西雅图，2001年。 新闻界。 阿明·菲德勒。 用户自适应证明解释 2001年，德国萨尔布吕肯萨尔州大学博士论文。 正在准备中。 Robert Harper、Furio Honsell和Gordon Plotkin。 定义逻辑的框架。 计算机协会期刊 , 40(1):143–184, 1993. 黄晓荣和阿明·菲德勒。 证明动词化作为NLG的一种应用。 在Martha E.Pollack主编中。， 程序。 第十五届国际人工智能联合会议（IJCAI） ，第965-970页，日本名古屋，1997年。 摩根·考夫曼。 安妮·基尔格和沃尔夫冈·芬克勒。 实时应用程序的增量生成。 研究报告RR-95-11，DFKI，德国萨尔布吕肯，1995年7月。 Frank Pfenning和Carsten Schurmann。 系统描述：Twelf-演绎系统的元逻辑框架。 在Harald Ganzinger编辑中。， 程序。 第十六届自动扣减大会 ，LNAI第1632号，第202-206页。 Springer Verlag，1999年。
作者信息
作者和附属机构
编辑器信息
编辑和附属机构
权利和权限
版权信息
关于本论文
引用本文
下载引文
DOI程序 : https://doi.org/10.1007/3-540-45744-5_33 出版 : 发布者名称 : 施普林格、柏林、海德堡 打印ISBN : 978-3-540-42254-9 在线ISBN : 978-3-540-45744-2 电子书包 : 斯普林格图书档案馆