×

找到52份文件（结果1-52）

最新的 引文 关联
佐姆博里（Zsolt Zombori）；约瑟夫·乌尔班；乍得·E·布朗。

Prolog技术强化学习证明程序（系统描述）。 （英语） Zbl 07614694号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12167, 489-507 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Zombori}等人，Lect。票据计算。科学。12167489-507（2020；Zbl 07614694）
全文： 内政部 arXiv公司
延斯·奥滕

nanoCoP：非子句连接证明程序。 （英语） Zbl 1475.68445号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9706, 302-312 (2016).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{J.Otten}，莱克特。票据计算。科学。9706302-312（2016；Zbl 1475.68445）
全文： 内政部
David A.Plaisted。

一阶自动扣除的历史和前景。 （英语） Zbl 1465.03055号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9195, 3-28 (2015).
MSC公司：03B35型 03-03 68-03 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Plaisted}，莱克特。票据计算。科学。9195，3--28（2015；Zbl 1465.03055）
全文： 内政部
叶卡捷琳娜·奥夫钦尼科娃；尼罗法尔·蒙塔泽里；西奥多·亚历山德罗夫；杰里·霍布斯。；迈克尔·麦科德（Michael C.McCord）。；鲁图省穆尔卡·梅塔

具有大量话语处理知识库的溯因推理。 （英语） Zbl 07823931号

Bunt，Harry（编辑）等人，《计算意义》。第4卷。多德雷赫特：施普林格。文本-语音-语言技术。47, 107-127 (2014).
MSC公司：68T27型 68立方英尺 68T50型 91层20
PDF格式BibTeX公司 XML格式引用
\textit{E.Ovchinnikova}等人，《文本语言技术》。47、107——127（2014；Zbl 07823931）
全文： 内政部
Stickel，Mark E。

建立定理证明器。 （英语） Zbl 1250.68235号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲义5663。人工智能课堂讲稿，306-321（2009）。
MSC公司：68吨15 03B35型 03B47号
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Stickel}，莱克特。票据计算。科学。5663、306--321（2009年；Zbl 1250.68235）
全文： 内政部
约瑟夫·P·奈尔（Joseph P.Near）。；William E.伯德。；丹尼尔·弗里德曼。

\（\字母\）倾斜水龙头：一阶经典逻辑的陈述性定理证明器。 （英语） Zbl 1183.68561号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，238-252（2008）。
MSC公司：68吨15 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Near}等人，Lect。票据计算。科学。5366、238--252（2008年；Zbl 1183.68561）
全文： 内政部
延斯·奥滕

leanCoP2.0和ileanCoP1.2：经典和直觉逻辑中的高性能精益定理证明。（系统描述）。 （英语） Zbl 1165.68467号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，283-291（2008）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Otten}，莱克特。票据计算。科学。5195、283--291（2008年；Zbl 1165.68467）
全文： 内政部
雷米·海默尔；弗朗索瓦·法赫斯；西尔万·索利曼

线性逻辑并发约束编程中的闭包和模块。 （英语） Zbl 1135.68367号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855544-556（2007）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Haemmerlé}等人，Lect。票据计算。科学。4855、544--556（2007年；Zbl 1135.68367）
全文： 内政部
井沼，Koji

基于PTTP的自上而下定理证明器的引理匹配。 （英语） 兹比尔1430.68413

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1249146-160（1997年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Iwanuma}，莱克特。票据计算。科学。1249、146-160（1997年；Zbl 1430.68413）
全文： 内政部
奥尔特伦·伊本斯；莱茨，莱因霍尔德

模型消除中的子目标交替。 （英语） Zbl 1412.68237号

Galmiche，Didier（编辑），用分析表和相关方法进行自动推理。1997年5月13日至16日，法国蓬特-阿-穆森，TABLEAUX’97国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1227, 201-215 (1997).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{O.Ibens}和\textit{R.Letz}，莱克特。票据计算。科学。1227201--215（1997；Zbl 1412.68237）
全文： 内政部
赫里伯特·舒茨；蒂姆·盖斯勒

通过编译高效地生成模型。 （英语） Zbl 1412.68260号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1104, 433-447 (1996).
MSC公司：68吨15 68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛H.Schütz｝和\textit｛T.Geisler｝，Lect。票据计算。科学。11044433-447（1996年；兹bl 1412.68260）
全文： 内政部
约翰·哈里森

优化模型消除中的证明搜索。 （英语） Zbl 1412.68231号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1104, 313-327 (1996).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Harrison}，莱克特。票据计算。科学。1104313-327（1996年；Zbl 1412.68231）
全文： 内政部
大卫·B·斯特吉尔。；阿尔贝托·玛丽亚·塞格雷

一种新的一阶逻辑异步并行方案。 （英语） Zbl 1433.68568号

阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。814, 484-498 (1994).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.B.Sturgill}和\textit{A.M.Segre}，莱克特。票据计算。科学。814484-498（1994年；Zbl 1433.68568）
全文： 内政部
J.舒曼。；莱茨，R。

PARTHEO：一个高性能的并行定理证明程序。 （英语） Zbl 1509.68319号

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。449, 40-56 (1990).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛J.Schumann｝和\textit｛R.Letz｝，Lect。票据计算。科学。449，40-56（1990年；兹bl 1509.68319）
全文： 内政部
聂旭敏；David A.Plaisted。

一个完整的语义反链证明系统。 （英语） Zbl 1509.68315号

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。449, 16-27 (1990).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{X.Nie}和\textit{D.A.Plaisted}，莱克特。票据计算。科学。449、16-27（1990年；Zbl 1509.68315）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件