编辑配置文件(在新选项卡中打开) 苏尼尔·伊萨尔 合著者距离 作者ID: 伊萨·苏尼尔 发布日期: 苏尼尔·伊萨尔 编入索引的文档: 3出版物自1990年以来 合著者: 5位合著者具有3联合出版物 84位合作作者 合著者 0 单作者的 三 安德鲁斯,彼得·B·。 三 丹·奈史密斯 三 弗兰克·芬宁 2 马修·毕晓普 2 席宏伟 系列 1 自动推理杂志 字段 三 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用24中的次23文件 引用人▼ 年份▼ TPS:经典类型理论的理论证明系统。 Zbl 0858.03017号 安德鲁斯,彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟 19 1996 TPS:经典类型理论的定理证明系统。 Zbl 1226.03026号 安德鲁斯,彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟 三 2008 TPS定理证明系统。 Zbl 1509.68294号 安德鲁斯,彼得·B·。;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁 2 1990 TPS:经典类型理论的定理证明系统。 Zbl 1226.03026号 安德鲁斯,彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟 三 2008 TPS:经典类型理论的理论证明系统。 兹比尔0858.03017 安德鲁斯,彼得·B·。;马修·毕晓普;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁;席宏伟 19 1996 TPS定理证明系统。 Zbl 1509.68294号 安德鲁斯,彼得·B·。;苏尼尔·伊萨尔;丹·奈史密斯;弗兰克·芬宁 2 1990 所有引用出版物 前5名被引用出版物 全部的 前5名36位作者引用 4 克里斯托夫·埃瓦尔德·本兹穆勒 三 杰夫·萨特克利夫 2 安德鲁斯,彼得·B·。 2 亚历山大·本特坎普 2 贾斯敏·克里斯蒂安·布兰切特 2 乍得·布朗·爱德华 2 索菲·托雷特 2 佩塔·武克米罗维奇 2 乌韦·沃尔德曼 1 谢尔盖·阿特莫夫 1 谢尔盖·奥特西尔 1 迈克尔·比森。 1 乌尔里希·伯杰 1 马修·毕晓普 1 弗朗西斯科·科雷拉 1 马丁·德沙奈斯 1 卢卡斯·狄克逊 1 Farmer,William M。 1 雅克·弗莱里奥。 1 安德烈亚斯·弗兰克 1 迪迪埃·加米歇 1 侯铁英 1 塞萨里·卡利西克 1 迈克尔·科尔哈斯 1 丹·奈史密斯 1 托比亚斯·尼普科 1 劳伦斯·查尔斯·保尔森 1 弗兰克·芬宁 1 克里斯蒂安·普雷霍弗 1 大卫·J·派姆。 1 钱振宇 1 弗洛里安·拉贝 1 谢克曼,Jörg H。 1 尼克·苏尔塔纳 1 泰斯,弗兰克 1 约根·维拉德森 全部的 前5名9篇连载文章中引用 6 自动推理杂志 4 应用逻辑杂志 1 理论计算机科学 1 符号计算杂志 1 AI通信 1 MSCS公司。计算机科学中的数学结构 1 应用非经典逻辑杂志 1 符号逻辑公报 1 数学与人工智能年鉴 在3个字段中引用 18 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的引文