×
曼弗雷德·科伯（编辑）;迈克尔·科尔哈斯（编辑）

符号计算和自动推理。CALCULEMUS-2000研讨会。2000年8月6日至7日，苏格兰圣安德鲁斯，第八届符号计算与机械化推理集成研讨会。 （英语） Zbl 0962.0008

马萨诸塞州纳蒂克：A.K.彼得斯。xi，270页（2001年）。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章：
安德鲁·亚当斯（Andrew A.Adams）。，参数有理函数的定积分：应用DITLU，3-17[Zbl 0992.68242号]
Noriko H.Arai。；琉球市Masukawa，如何找到隐藏在组合问题中的对称性，18-32[兹伯利0986.68126]
阿曼多，亚历山德罗；Michael Kohlhase；西尔维奥·兰伊斯，基于KQML和OMRS的数学服务通信协议，33-48[Zbl 0986.68003号]
亚历山德罗·阿曼多；丹尼尔·齐尼，通过逻辑代理体系结构连接计算机代数和演绎系统，49-64[Zbl 1017.68167号]
格拉泽戈兹·班塞雷克，MIZAR中连续晶格理论的发展，65-80[Zbl 0986.68127号]
克里斯托夫·本兹穆勒；沃尔克·索尔格，\（\Omega\）-ANTS–一种结合交互式和自动化定理证明的开放方法，81-97[Zbl 0986.68128号]
布赫伯格，布鲁诺；克劳迪奥·杜普雷；都铎Jebelean；Franz Kriftner；中川，Koji；维萨鲁，丹妮拉；沃尔夫冈·温斯特伊格，TH（存在）OREM（所有）项目：进度报告，98-113[Zbl 1017.68110号]
奥尔加·卡普洛蒂；马尔蒂恩·奥斯蒂克，如何形式有效地证明素数（2999），114-125[Zbl 0999.68264号]
阿纳托利一世（Anatoli I.Degtyarev）。；亚历山大五世（Alexander V.Lyaletski）。；莫罗霍夫茨，玛丽娜·K·。，关于自足数学文本的EA-式集成处理，126-141[Zbl 0986.68129号]
贾姆尼克，马蒂亚；曼弗雷德·科伯；克里斯托夫·本兹穆勒《学习校对规划的新方法》，142-158[Zbl 0986.68130号]
鲍里斯·科涅夫（Boris Konev）；都铎Jebelean，在中使用元变量进行自然演绎枣灰蝶属, 159-174 [Zbl 0986.68131号]
安德烈亚斯·梅耶（Andreas Meier）；沃尔克·索尔格，探索残留物类别的性质，175-190[兹伯利0986.68132]
Piotr Rudnicki；克里斯托夫·施瓦茨韦勒（Christoph Schwarzweller）；安德烈·特雷布利克，在Mizar中定义幂级数和多项式，191-204[Zbl 0986.68133号]
西蒙·汤普森，Aldor计算机代数系统中的逻辑和相关类型，205-233[Zbl 0986.68171号]

引用于1审查
引用于2文件

MSC公司：

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
03-06 与数理逻辑和基础有关的会议记录、会议、收藏等

关键词：

苏格兰圣安德鲁斯（英国）;诉讼;研讨会;计算-2000;符号计算;机械化推理

软件：

米扎尔;枣灰蝶属;欧米茄-ANTS
PDF格式BibTeX公司 XML格式引用
\textit{M.Kerber}（编辑）和\textit{M.Kohlhase}（主编），符号计算和自动推理。CALCULEMUS-2000研讨会。第八届符号计算与机械化推理集成研讨会，苏格兰圣安德鲁斯，英国，2000年8月6-7日。马萨诸塞州纳蒂克：A.K.Peters（2001；Zbl 0962.0008）