编辑配置文件（在新选项卡中打开） 奥特曼·阿伊特·穆罕默德 合著者距离 作者ID： 艾特-穆罕默德·奥斯曼 发布日期： 奥特曼·艾特·穆罕默德;奥特曼·艾特·穆罕默德;奥特曼·阿伊特·穆罕默德;奥特曼·阿伊特·穆罕默德;O·艾特·穆罕默德。 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 9出版物自1995年起 2作为编辑的贡献 合著者： 12位合著者具有10联合出版物 713合著作者 全部的 前5名合著者 1 单作者的 4 阿贝德，赛义德 4 索菲涅·塔哈尔 三 宋晓宇 2 爱德华·塞尔尼 2 亚辛·莫赫塔里 1 阿卜杜勒马利克·阿明 1 拉杰尔·贝拉特雷切 1 刘、冯 1 穆尼奥斯，塞萨尔·A。 1 吉亚特·艾尔·萨马内 1 谭庆平 1 王芳 全部的 前5名系列 1 《计算机杂志》。A部分/B部分 1 计算 1 理论计算机科学 1 计算机科学与技术杂志 1 计算的形式方面 1 计算机科学课堂讲稿 1 科学中国。信息科学 领域 11 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 一般性和全局性主题；集合（00-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用23次14文件 引用人▼ 年份▼ 高阶逻辑中的定理证明。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。 Zbl 1149.68013号 6 2008 基于MDG的抽象状态枚举的非终结性。 Zbl 1028.68102号 奥特曼·阿伊特·穆罕默德;宋晓宇;爱德华·塞尔尼 6 2003 使用多路决策图（MDG）对一阶时序逻辑进行模型检查。 Zbl 1090.68069号 徐，英;宋晓宇;爱德华·塞尔尼;奥特曼·艾特·穆罕默德 5 2004 在HOL中实现（pi）-演算等价。 Zbl 1063.68600号 奥特曼·阿伊特·穆罕默德 三 1995 一种构造多路决策图的新方法。 Zbl 1161.68577号 莫赫塔里，Y。;阿贝德，赛义德;艾特·穆罕默德。;南塔哈尔。;宋，X。 2 2008 NuMDG：一种用于构建多路决策图的新工具。 Zbl 1280.68121号 阿贝德，赛义德;亚辛·莫赫塔里;奥特曼·艾特·穆罕默德;索菲涅·塔哈尔 1 2011 NuMDG:一种用于构建多路决策图的新工具。 Zbl 1280.68121号 Sa Abed先生；预计起飞时间;亚辛·莫赫塔里;奥特曼·艾特·穆罕默德;索菲涅·塔哈尔 1 2011 高阶逻辑中的定理证明。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。 兹比尔1149.68013 6 2008 一种构造多路决策图的新方法。 Zbl 1161.68577号 莫赫塔里，Y。;Sa Abed先生；预计起飞时间;O·艾特·穆罕默德。;南塔哈尔。;宋，X。 2 2008 使用多路决策图（MDG）对一阶时序逻辑进行模型检查。 Zbl 1090.68069号 徐，英;宋晓宇;爱德华·塞尔尼;奥特曼·艾特·穆罕默德 5 2004 基于MDG的抽象状态枚举的非终结性。 Zbl 1028.68102号 奥特曼·阿伊特·穆罕默德;宋晓宇;爱德华·塞尔尼 6 2003 在HOL中实现（pi）-演算等价。 Zbl 1063.68600号 奥特曼·阿伊特·穆罕默德 三 1995 所有引用出版物 前5名被引用出版物 全部的 前5名26位作者引用 4 阿贝德，赛义德 4 奥特曼·阿伊特·穆罕默德 4 拉马纳·库马尔 2 Thibault Gauthier 2 Cezary卡利西克 2 亚辛·莫赫塔里 2 戴维·桑吉奥吉 2 索菲涅·塔哈尔 2 田，春 2 约瑟夫·乌尔班 1 纪尧姆·安巴尔 1 罗布·D·阿尔森。 1 本雅·法伦斯坦 1 塞尔盖·伦格利特 1 玛格努斯·奥·米林。 1 诺里斯，迈克尔 1 米罗斯拉夫·奥沙克 1 斯科特·欧文斯 1 吉亚特·艾尔·萨马内 1 阿兰·施密特 1 宋晓宇 1 Tjark韦伯 1 杨蓉 1 杨兆兰 1 张和平 1 佐姆博里（Zsolt Zombori） 4篇连载文章中引用 三 自动推理杂志 2 计算机科学与技术杂志 1 信息与计算 1 计算的形式方面 在3个字段中引用 13 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 按年份列出的引文