编辑配置文件（在新选项卡中打开） 本赛义德，希查姆 合著者距离 作者ID： 本赛义德·希切姆 发布日期： 本赛义德，希查姆 外部链接： MGP公司 已编制索引的文档： 4出版物自2007年起 合著者： 2合著者具有4联合出版物 23位合作作者 合著者 0 单作者的 4 尼古拉斯·佩尔蒂埃 三 里卡多·卡费拉 系列 1 自动推理杂志 领域 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用5中的次3文件 引用人▼ 年份▼ 完全判别图：用整数指数标引术语。 Zbl 1291.68324号 本赛义德，希查姆;里卡多·卡费拉;尼古拉斯·佩尔蒂埃 2 2010 对定理证明器搜索空间进行系统分析：第一步。 Zbl 1213.68566号 本赛义德，希查姆;里卡多·卡费拉;尼古拉斯·佩尔蒂埃 2 2007 \有序分解和叠加计算中的（I）项：恢复丢失的完整性。 Zbl 1286.68390号 本赛义德，希查姆;里卡多·卡费拉;尼古拉斯·佩尔蒂埃 1 2010 完全判别图：用整数指数标引术语。 Zbl 1291.68324号 本赛义德，希查姆;里卡多·卡费拉;尼古拉斯·佩尔蒂埃 2 2010 \有序分辨率和叠加演算中的（I\）项：检索丢失的完整性。 Zbl 1286.68390号 本赛义德，希查姆;里卡多·卡费拉;尼古拉斯·佩尔蒂埃 1 2010 对定理证明器搜索空间进行系统分析：第一步。 Zbl 1213.68566号 本赛义德，希查姆;里卡多·卡费拉;尼古拉斯·佩尔蒂埃 2 2007 4位作者引用 三 尼古拉斯·佩尔蒂埃 2 本赛义德，希查姆 2 里卡多·卡费拉 1 文森特·阿拉万提诺斯 2篇连载文章中引用 1 自动推理杂志 1 数学与人工智能年鉴 在2个字段中引用 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文