伊莎贝尔/伊萨尔 swMATH ID: 2006 软件作者： 马库斯·温泽尔等人。 说明： 在Isabelle/Isar框架中构建形式化方法工具---siehe Isar sid:4599 主页： http://isabelle.in.tum.de/Isar（伊莎贝尔）/ 相关软件： 伊莎贝尔;伊莎贝尔/HOL;伊萨尔;Coq公司;HOL公司;米扎尔;存档正式证据;HOL灯;大锤;PVS公司;一般证明;Isabelle/j编辑;毫升;z3（零3）;阿格达;区域设置;开普勒98;ACL2型;PIDE公司;枣灰蝶属 引用于： 100份文件 全部的 前5名137位作者引用 11 马卡里乌斯·温泽尔 8 托比亚斯·尼普科 6 弗里克·威迪杰克 5 克莱门斯·巴拉林 5 Pąk，卡罗尔 4 斯特凡·伯格霍费尔 4 塞萨里·卡利西克 4 亚历山大·马列茨基 4 沃尔夫，伯克哈特 三 约翰·Hölzl 三 沃尔夫拉姆·卡尔 三 菲利普·马里奇 三 朱利安·纳布克斯 三 劳伦斯·查尔斯·保尔森 2 罗布·D·阿尔森。 2 杰里米·阿维加德 2 鲁道夫·伯格哈默 2 贾斯敏·克里斯蒂安·布兰切特 2 弗洛里安·哈夫特曼 2 彼得·霍夫纳 2 拉尔斯·胡佩尔 2 费比安·伊姆勒 2 贾尼契奇，普雷德拉格 2 昆查尔，Ondřej 2 克里斯托夫·吕斯 2 朱利安·帕塞特 2 安德烈·波佩斯库 2 安德斯·施利奇特克鲁尔 1 卡马尔·阿布尔·霍恩 1 杰苏斯·阿兰塞 1 阿拉斯代尔·阿姆斯特朗 1 大卫·阿斯皮纳尔 1 布鲁诺·巴拉斯 1 格特鲁德·鲍尔 1 杰斯珀·本特森 1 马克·贝泽姆 1 威廉·比林斯利 1 马克西姆·博尔廷 1 皮埃尔·布特里 1 托马斯·布雷班特 1 加布里埃尔·布劳恩 1 布林科普，豪克 1 阿希姆·D·布鲁克。 1 安德鲁·巴特菲尔德 1 吉安尼·乔利 1 阿德里安·德隆 1 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 1 哈维尔·埃斯帕尔扎 1 乔·菲利佩·费雷拉 1 雅克·弗莱里奥特。 1 马蒂亚斯·弗勒里 1 Hitoshi Furusawa 1 霍尔格·加斯特 1 格拉齐亚诺·庆蒂利 1 简·赫尔曼·杰弗斯 1 哈布托姆·卡西·吉迪 1 马修·乔治诺 1 古德蒙德·格罗夫 1 沃尔特·古特曼 1 托马斯·卡利斯特·黑尔斯 1 何继峰 1 乔纳森·赫拉斯 1 雨果·赫贝林 1 圣地亚哥Hernández-Orozco 1 Hernández-Quiroz，弗朗西斯科 1 布赖恩·霍夫曼 1 亚历山大·伯奇·延森 1 埃纳尔·布罗赫·约翰森 1 杰弗里·凯特兰 1 彼得·科普克 1 迈克尔·科尔哈斯 1 德克斯特·C·科赞。 1 亚历山大·克劳斯 1 简·Křetínsk 1 维克多·昆卡 1 约翰·布伦特·拉森 1 Leino，K.Rustan M。 1 李丽明 1 李，秦 1 林玉辉 1 安德烈亚斯·洛赫比勒 1 安东·洛伦岑 1 马可·马格西 1 迭戈·马姆斯勒 1 Martín-Mateos，Francisco-Jesüs 1 丹尼尔·马提库克 1 詹姆斯·麦金纳 1 法哈德·梅塔 1 亚历山大·门德斯 1 孟，贾 1 弗洛里安·梅纳 1 穆勒，丹尼斯 1 托比·默里 1 伊斯坦·内梅蒂 1 杰克·E·帕尔默（Jake E.Palmer）。 1 若阿希姆·帕罗 1 维科·帕斯夸尔 1 Damien Pous 1 克莱尔·奎格利 1 弗洛里安·拉贝 …还有37位作者 全部的 前5名18篇连载文章中引用 18 自动推理杂志 2 合成 2 信息与计算 2 计算的形式方面 2 计算机科学中的逻辑方法 1 符号计算杂志 1 AI通信 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 北欧计算机杂志 1 Informatica（维尔纽斯） 1 应用逻辑杂志 1 并行处理信件 1 计算机科学课堂讲稿 1 形式化推理杂志 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名18个领域被引用 98 计算机科学（68至XX） 28 数学逻辑和基础（03-XX） 4 有序，格，有序代数结构（06-XX） 三 组合数学（05-XX） 三 交换代数（13-XX） 2 总体主题；集合（00-XX） 2 相对论与引力理论（83至XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数论（11-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 测量和集成（28-XX） 1 复变量的函数（30年XX月） 1 几个复变量和分析空间（32-XX） 1 常微分方程（34-XX） 1 几何图形（51至XX） 1 凸和离散几何（52-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文