×

找到7个文档（结果1-7）

最新的 引文 关联
阿卜杜勒卡德尔·克尔萨尼;尼古拉斯·佩尔蒂埃

叠加与归纳相结合：一种实际实现。 （英语） Zbl 1398.68483号

Fontaine，Pascal（编辑）等人，《组合系统的前沿》。2013年9月18日至20日，法国南希，第九届国际研讨会，FroCoS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40884-7/pbk）。计算机科学课堂讲稿8152。《人工智能讲义》，7-22（2013）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kersani}和\textit{N.Peltier}，莱克特。注释计算。科学。8152，7--22（2013；Zbl 1398.68483）
全文： 内政部 哈尔
阿卜杜勒卡德·科尔萨尼;尼古拉斯·佩尔蒂埃

具有索引的一阶子句的完备性和可判定性结果。 （英语） Zbl 1381.03019号

Bonacina，Maria Paola（编辑），自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38573-5/pbk）。计算机科学课程讲稿7898。《人工智能课堂讲稿》，58-75（2013）。
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Kersani}和\textit{N.Peltier}，莱克特。注释计算。科学。7898，58-75（2013；Zbl 1381.03019）
全文： 内政部 哈尔
本赛义德，希查姆;里卡多·卡费拉;尼古拉斯·佩尔蒂埃

完全判别图：用整数指数标引术语。 （英语） Zbl 1291.68324号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。《人工智能讲义》，369-383（2010）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Bensaid}等人，Lect。注释计算。科学。6173369--383（2010年；Zbl 1291.68324）
全文： 内政部
文森特·阿拉万提诺斯;里卡多·卡费拉;尼古拉斯·佩尔蒂埃

命题逻辑的图式演算。 （英语） Zbl 1260.03011号

Giese，Martin（编辑）等人，《使用分析表和相关方法的自动推理》。2009年7月6日至10日，挪威奥斯陆，第18届国际会议，TABLEAUX 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02715-4/pbk）。计算机科学课程讲稿5607。《人工智能课堂讲稿》，32-46（2009）。
MSC公司：03B05号 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{V.Aravantinos}等人，Lect。注释计算。科学。5607,32-46（2009年；Zbl 1260.03011）
全文： 内政部
本赛义德，希查姆;里卡多·卡费拉;尼古拉斯·佩尔蒂埃

对定理证明器搜索空间进行系统分析：第一步。 （英语） Zbl 1213.68566号

丹尼尔·利万特（编辑）等人，《逻辑、语言、信息和计算》。2007年7月2日至5日，巴西里约热内卢，第14届国际研讨会，WoLLIC 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73443-7/pbk）。计算机科学课堂讲稿4576，38-52（2007）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Bensaid}等人，Lect。注释计算。科学。4576，38-52（2007年；兹bl 1213.68566）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件