编辑配置文件(在新选项卡中打开) Gail W.Pieper。 合著者距离 作者ID: 皮埃尔·盖尔-w 发布日期: Gail W.Pieper。 已编制索引的文档: 4出版物自1999年以来,包括3本书 2作为编辑的贡献 合著者: 3位合著者具有6联合出版物 114位合作作者 合著者 0 单作者的 5 沃斯,拉里 1 马克·加贝 1 汉斯·卡珀(Hans G.Kaper)。 系列 1 自动推理杂志 1 北约ASI系列。C辑数学和物理科学 领域 5 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用23中的次19文件 引用人▼ 年份▼ 计算机世界中一个迷人的国家。您的自动推理指南。使用CD-ROM。 Zbl 1132.68300号 沃斯,拉里;Gail W.Pieper。 9 1999 自动推理和发现缺失的优雅证据。 Zbl 1058.68102号 沃斯,拉里;Gail W.Pieper。 9 2003 带临界参数的偏微分方程的渐近和数值方法。《关于偏微分方程、临界参数和区域分解的渐近诱导数值方法的北约高级研究研讨会论文集》,Beaune(法国),1992年5月25日至28日。 兹比尔0772.00030 三 1993 热门名单策略。 Zbl 0926.68132号 哇,拉里;Gail W.Pieper。 1 1999 拉里·沃斯的作品集。第一卷:探索自动推理的力量。第二卷:将自动推理应用于谜题、问题和开放性问题。 Zbl 0967.68127号 沃斯,拉里;Gail W.Pieper。 1 2000 自动推理和发现缺失的优雅证据。 Zbl 1058.68102号 沃斯,拉里;Gail W.Pieper。 9 2003 拉里·沃斯的作品集。第一卷:探索自动化推理的力量。第二卷:将自动推理应用于谜题、问题和开放性问题。 Zbl 0967.68127号 沃斯,拉里;Gail W.Pieper。 1 2000 计算机世界中一个迷人的国家。您的自动推理指南。使用CD-ROM。 Zbl 1132.68300号 沃斯,拉里;Gail W.Pieper。 9 1999 热门名单策略。 Zbl 0926.68132号 沃斯,拉里;Gail W.Pieper。 1 1999 带临界参数的偏微分方程的渐近和数值方法。《关于偏微分方程、临界参数和区域分解的渐近诱导数值方法的北约高级研究研讨会论文集》,Beaune(法国),1992年5月25日至28日。 Zbl 0772.00030号 三 1993 所有引用出版物 前5名被引用出版物 全部的 前5名31位作者引用 4 迈克尔·比森。 4 迈克尔·基扬(Michael K.Kinyon)。 4 沃斯,拉里 1 弗兰克·N·贝克斯。 1 玛丽亚·保拉(Maria Paola Bonacina) 1 陈久贤 1 卡雷尔·奇瓦洛夫斯克 1 扎卡里·恩斯特 1 艾格尼斯·莫斯格德·埃舍恩 1 方慧·艾略特 1 布兰登·费特尔森 1 来自阿斯塔·哈尔克 1 阿克塞尔·格斯滕伯格 1 埃尔达尔·吉拉迪 1 Kenneth D.M.哈里斯。 1 伊内斯·希波利托 1 黄宗辉 1 莱因哈德·卡勒 1 约瑟夫·毕晓普·凯勒 1 雅各布·J·科斯特。 1 肯尼斯·库恩 1 乌尔里奇·库特勒 1 乌苏拉·梅耶尔(Ursula M.Mayer)。 1 罗伯特·肯尼思·梅耶 1 Stickel,Mark E。 1 杰夫·萨特克利夫 1 威廉·沃克·泰特 1 迈克尔·R·塔佩克。 1 罗伯特·韦洛夫 1 约根·维拉德森 1 沃尔夫冈·沃尔。 全部的 前5名11篇连载文章中引用 4 自动推理杂志 2 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 计算机与数学及其应用 1 模糊集与系统 1 计算与应用数学杂志 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 美国数学学会会刊 1 Studia Logica公司 1 计算力学 1 符号逻辑公报 全部的 前5名11个领域引用 11 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 三 历史和传记(01-XX) 2 群论与推广(20-XX) 2 可变形固体力学(74-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 偏微分方程(35-XX) 1 几何形状(51至XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 按年份列出的引文