杰出论文 简短标题： 正在进行Disting。异议。 出版商： 斯普林格，伦敦 在线： https://rd.springer.com/bookseries/3465 评论： 图书系列；不再索引 已编制索引的文档： 14出版物(1997–2004) 最新卷 (1997-2004) 全部的 前5名作者/编辑 1 布布利，俄罗斯 1 Calinescu，Radu C。 1 大卫·P·卡佩尔。 1 西蒙·科尔顿 1 安东尼奥·克里米尼西 1 雅克·弗莱里奥特。 1 伊恩·弗兰克 1 特蕾西·加德纳。 1 长谷川、Masahito 1 马丁·霍夫曼 1 蒂姆·科瓦克斯 1 盖·安德鲁·麦库斯克 1 埃蒙·奥尼尔 全部的 前5名领域 14 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用154中的次151文件 引用人▼ 年份▼ 用实数证明定理。 Zbl 0932.68099号 约翰·哈里森 40 1998 具有递归类型的函数元语言的游戏和完全抽象。 Zbl 0917.68192号 盖·麦库斯克 26 1998 共享图的模型。\（let）和\（letrec\）的范畴语义。 Zbl 0943.68109号 长谷川、Masahito 21 1999 纯数学中的自动理论形成。 Zbl 1219.68141号 西蒙·科尔顿 20 2002 内涵类型理论中的外延结构。 Zbl 1411.03001号 马丁·霍夫曼 19 1997 随机算法：近似、生成和计数。 Zbl 0967.68173号 布布利，俄罗斯 10 2001 几何定理证明与非标准分析相结合，并应用于牛顿原理。 Zbl 0976.68133号 雅克·弗莱里奥特 6 2001 图像拼接和超分辨率。 Zbl 1060.68132号 大卫·卡佩尔 4 2004 优势或准确性：学习分类器系统中的学分分配。 兹比尔1060.68103 蒂姆·科瓦克斯 三 2004 通过单个和多个未校准图像进行精确的视觉计量。 Zbl 0981.68166号 安东尼奥·克里米尼西 三 2001 不完整信息下的搜索和规划。使用桥牌游戏的研究。 Zbl 0915.68157号 伊恩·弗兰克 2 1998 图像拼接和超分辨率。 Zbl 1060.68132号 大卫·卡佩尔 4 2004 优势或准确性：学习分类器系统中的学分分配。 兹比尔1060.68103 蒂姆·科瓦克斯 三 2004 纯数学中的自动理论形成。 Zbl 1219.68141号 西蒙·科尔顿 20 2002 随机算法：近似、生成和计数。 Zbl 0967.68173号 布布利，俄罗斯 10 2001 几何定理证明与非标准分析相结合，并应用于牛顿原理。 Zbl 0976.68133号 雅克·弗莱里奥特 6 2001 通过单个和多个未校准图像进行精确的视觉计量。 Zbl 0981.68166号 安东尼奥·克里米尼西 三 2001 共享图的模型。\（let）和\（letrec\）的范畴语义。 Zbl 0943.68109号 长谷川、Masahito 21 1999 用实数证明定理。 Zbl 0932.68099号 约翰·哈里森 40 1998 具有递归类型的函数元语言的游戏和完全抽象。 Zbl 0917.68192号 盖·麦库斯克 26 1998 不完整信息下的搜索和规划。使用桥牌游戏的研究。 兹比尔0915.68157 伊恩·弗兰克 2 1998 内涵类型理论中的外延结构。 Zbl 1411.03001号 马丁·霍夫曼 19 1997 所有引用的出版物 前5名被引用出版物 全部的 前5名242位作者引用 11 奥斯曼·哈桑 10 索菲涅·塔哈尔 5 西蒙·科尔顿 4 长谷川、Masahito 4 松井富美 三 萨姆森·艾布拉姆斯基 三 马格努斯伯德威奇 三 雅克·弗莱里奥特。 三 木岛、舒吉 三 詹姆斯·D·莱尔德。 三 亚历山大·莱奇 三 玛丽亚·艾米莉亚·梅耶蒂 三 盖·安德鲁·麦库斯克 三 埃里克·帕尔姆格伦 三 北海山田 2 纳伊姆·阿巴斯 2 亚历山德罗·阿曼多 2 Jan A.Bergstra。 2 西尔维·博尔多 2 阿兰·邦迪 2 卡尼安特拉·马尼·钱迪 2 亚历山德罗·科利奥 2 卢卡斯·狄克逊 2 马丁·戴尔（Martin E.Dyer）。 2 尼尔·加尼 2 Dan R.吉卡。 2 福斯托·金奇利亚 2 关、勇 2 皮埃尔·汉森 2 斯特凡·赫兹尔 2 本田、高黑 2 拉德哈·贾加迪桑 2 萨纳兹·汗·阿夫沙尔 2 安斯滕·默奇·克莱夫 2 克雷格·E·拉尔森。 2 约翰·R·李。 2 保罗·布莱恩·利维 2 安德烈亚斯·梅耶 2 纪尧姆·梅尔金德 2 萨扬·密特拉 2 Moerdijk，比如 2 罗素·奥康纳 2 爱荷华州帕什卡 2 劳伦斯·查尔斯·保尔森 2 艾莉森·皮斯 2 保罗·佩纳 2 吉赛尔·雷斯 2 乌迈尔·西迪克 2 斯梅尔，艾伦 2 溅出物，Bas 2 塔尔莫乌斯塔卢 2 尼古拉斯·范·克莱恩普特 2 尼科洛·维尔特里 2 丹尼尔·韦勒（Daniel S.Weller）。 2 张杰 1 阿达梅克，吉安尼 1 安德烈斯·阿尔曼萨 1 托尔斯滕·阿滕柯奇 1 阿米特，阿萨夫 1 穆斯塔法·奥奇奇 1 文森特·阿拉万提诺斯 1 安德烈亚·阿斯佩蒂 1 安德烈亚斯·巴兹基 1 David A.Basin。 1 尼克·本顿 1 伊夫·贝托特 1 马克·贝泽姆 1 拉尔斯·比克达尔 1 阿列舍·比兹亚克 1 弗拉基米尔·布兰科夫 1 基思·M·布里格斯。 1 布加林，阿尔贝托 1 坎通纳，多梅尼科 1 亚尔·卡罗 1 阿明·查伊布 1 詹姆斯·查普曼（James T.E.Chapman）。 1 肯塔·乔 1 吉安卢卡·辛科蒂 1 弗朗索瓦·克莱门特 1 拉纳德·A·克鲁斯顿。 1 罗伯特·李，警察 1 米歇尔·康坦特 1 可口、蒂埃里 1 加布里埃尔·克里斯托巴尔 1 罗伯托·达席尔瓦 1 乌戈·达尔拉戈 1 兰迪·瑞安·达维拉 1 吉列尔莫·德伊塔·卢纳 1 费德里科·德·马奇 1 毛里西奥·德尔布雷西奥 1 彼得·戴比杰 1 加布里埃尔·埃布纳 1 雅各布·埃梅内格 1 勒文特·埃尔科克 1 弗拉塔·奥古斯托·费尔南德斯 1 Jean-Christophe Filliátre 1 丹尼斯·菲尔索夫 1 Flusser，一月 1 伊恩·弗兰克 1 傅耀顺 …还有142位作者 全部的 前5名48种期刊引用 18 理论计算机科学 13 自动推理杂志 11 MSCS公司。计算机科学中的数学结构 8 纯逻辑与应用逻辑年鉴 4 符号计算杂志 4 信息与计算 三 人工智能 三 RAIRO公司。理论信息学及其应用 三 应用逻辑杂志 2 新一代计算 2 计算的形式方面 2 机器学习 2 随机结构与算法 2 线性代数及应用 2 数学逻辑档案 2 应用数学杂志 2 计算机科学中的逻辑方法 1 离散应用数学 1 应用科学中的数学方法 1 洛基山数学杂志 1 模糊集与系统 1 计算机与系统科学杂志 1 纯粹与应用代数杂志 1 数学社会科学 1 计算机科学与技术杂志 1 运筹学年鉴 1 多维系统及信号处理 1 日本工业与应用数学杂志 1 模式识别 1 计算统计与数据分析 1 澳大利亚组合数学杂志 1 数学成像与视觉杂志 1 国际计算机视觉杂志 1 组合数学电子杂志 1 符号逻辑公报 1 范畴的理论与应用 1 数学与人工智能年鉴 1 软计算 1 伦敦皇家学会哲学汇刊。系列A.数学、物理和工程科学 1 LMS计算与数学杂志 1 科学基础 1 代数、数论与应用杂志 1 离散算法杂志 1 计算机科学中的数学 1 亚洲控制杂志 1 数学论坛，西格玛 1 数学科学研究 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名在28个字段中引用 109 计算机科学（68至XX） 49 数学逻辑和基础（03-XX） 22 范畴理论；同调代数（18-XX） 9 组合数学（05-XX） 9 概率论与随机过程（60-XX） 8 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 7 数值分析（65-XX） 6 实函数（26年X月X日） 5 信息与通信理论、电路（94-XX） 4 总体主题；集合（00-XX） 4 数论（11-XX） 4 统计学（62-XX） 三 代数拓扑（55-XX） 2 阶、格、有序代数结构（06-XX） 2 结合环与代数（16-XX） 2 几何图形（51至XX） 2 量子理论（81-XX） 2 系统论；控制（93至XX） 1 历史和传记（01-XX） 1 交换代数（13-XX） 1 特殊功能（33至XX） 1 偏微分方程（35-XX） 1 积分变换，运算微积分（44-XX） 1 功能分析（46倍X倍） 1 粒子和系统力学（70-XX） 1 光学、电磁理论（78-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文