×

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

最新的 引文 关联
丹尼尔·拉吉；阿兰·邦迪；古德蒙德·格罗夫；艾莉森·皮斯

在离散数学中自动改变证明的表示。 （英语） 兹比尔1409.68260

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。票据计算。科学。9150, 227-242 (2015).
MSC公司：68吨15 68卢比 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{D.Raggi}等人，Lect。票据计算。科学。9150227--242（2015；Zbl 1409.68260）
全文： 内政部 arXiv公司
穆阿·约翰逊；卢卡斯·狄克逊；阿兰·邦迪

动态涟漪、中庸推理和引理发现。 （英语） Zbl 1309.68169号

Siegler，Simon（编辑）等人，《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际，为他举行庆祝活动。柏林：施普林格出版社（ISBN 978-3-642-17171-0/pbk）。计算机科学课堂讲稿6463。人工智能课堂讲稿，102-116（2010）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Johansson}等人，Lect。票据计算。科学。6463、102-116（2010年；Zbl 1309.68169）
全文： 内政部 链接
路易斯·丹尼斯；阿兰·邦迪；格林，伊恩

使用泛化批评家为共推证明寻找互模拟。 （英语） Zbl 1430.68399号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1249276-290（1997年）。
MSC公司：68伏15 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Dennis}等人，Lect。票据计算。科学。1249276-290（1997年；Zbl 1430.68399）
全文： 内政部 链接
爱尔兰，安德鲁；阿兰·邦迪

归纳证明的泛化批评家的扩展。 （英语） Zbl 1412.68238号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1104, 47-61 (1996).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.爱尔兰}和\textit{A.邦迪}，莱克托。票据计算。科学。1104，47-61（1996；Zbl 1412.68238）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件