×

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

最新的 引文 关联
马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;贾尔斯·里格尔;安德烈·沃伦科夫

感应饱和。 （英语） Zbl 1528.68391号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 306-322 (2022).
MSC公司：68伏15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Hajdu}等人，Lect。注释计算。科学。13660306--322（2022；Zbl 1528.68391）
全文： DOI程序
贾尔斯·里格尔;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫

简化理论推理。 （英语） Zbl 1474.68060号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 164-180 (2021).
MSC公司：68号30 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Reger}等人，Lect。注释计算。科学。12652、164-180（2021年；Zbl 1474.68060）
全文： DOI程序
贾尔斯·里格尔;安德烈·沃伦科夫

基于饱和的证明搜索中的归纳。 （英语） Zbl 07178993号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 477-494 (2019).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Reger}和\textit{A.Voronkov}，莱克特。注释计算。科学。11716、477--494（2019；Zbl 07178993）
全文： DOI程序 链接
贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫

在多分类一阶逻辑中寻找有限模型。 （英语） Zbl 1475.68447号

Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 323-341 (2016).
MSC公司：68伏15 03立方厘米13 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Reger｝等人，Lect。注释计算。科学。9710，323--341（2016；Zbl 1475.68447）
全文： DOI程序 arXiv公司
霍德、克里什托夫;贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫

选择所选项。 （英语） Zbl 1475.68436号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 313-329 (2016).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{K.Hoder}等人，Lect。注释计算。科学。9706313--329（2016；Zbl 1475.68436）
全文： DOI程序 arXiv公司
贾尔斯·里格尔;马丁·苏达;安德烈·沃伦科夫

玩阿凡达。 （英语） Zbl 1465.68295号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 399-415 (2015).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Reger}等人，Lect。注释计算。科学。9195399--415（2015年；Zbl 1465.68295）
全文： DOI程序
贾尔斯·里格尔;蒂什科夫斯基，德米特里;安德烈·沃伦科夫

合作证明尝试。 （英语） Zbl 1465.68296号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 339-355 (2015).
MSC公司：68伏15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Reger}等人，Lect。注释计算。科学。9195，339--355（2015；Zbl 1465.68296）
全文： DOI程序
叶夫根尼·科特尔尼科夫;劳拉·科瓦奇;安德烈·沃伦科夫

一阶定理证明和TPTP中的一类布尔排序。 （英语） 兹伯利1417.68187

Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 71-86 (2015).
MSC公司：68吨15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Kotelnikov}等人，Lect。注释计算。科学。9150、71--86（2015；Zbl 1417.68187）
全文： DOI程序 arXiv公司
胡安·安东尼奥·纳瓦罗·佩雷斯;安德烈·沃伦科夫

使用有效的命题逻辑进行规划。 （英语） Zbl 1383.68086号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797302-316（2013）。
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Navarro-Pérez}和\textit{A.Voronkov}，莱克特。注释计算。科学。7797302-316（2013年；兹bl 1383.68086）
全文： DOI程序
迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃伦科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉

Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。
MSC公司：68-03 01A70号 03B70号 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Kapur}等人，Lect。注释计算。科学。7797，1-18（2013；Zbl 1383.68003）
全文： DOI程序
劳拉·科瓦奇;乔治·莫瑟;安德烈·沃伦科夫

关于超限Knuth-Bendix阶。 （英语） Zbl 1341.68194号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，384-399（2011）。
MSC公司：68吨15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Kovács}等人，Lect。注释计算。科学。6803384--399（2011年；Zbl 1341.68194）
全文： DOI程序
霍德、克里什托夫;安德烈·沃伦科夫

正弦是大型理论推理的基础。 （英语） Zbl 1341.68189号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，299-314（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Hoder}和\textit{A.Voronkov}，莱克特。注释计算。科学。6803299-314（2011年；兹比尔1341.68189）
全文： DOI程序
霍德、克里什托夫;劳拉·科瓦奇;安德烈·沃伦科夫

吸血鬼中的插值和符号消除。 （英语） Zbl 1291.68348号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日，英国爱丁堡，第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，188-195（2010）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Hoder}等人，Lect。注释计算。科学。6173188--195（2010年；Zbl 1291.68348）
全文： DOI程序
阿纳托利·德吉亚列夫;安德烈·沃伦科夫

关于刚性统一，你一直想知道的是什么。 （英语） Zbl 1427.03032号

Alferes，JoséJülio（编辑）等人，《人工智能中的逻辑》。欧洲研讨会，JELIA’96，埃沃拉，葡萄牙，1996年9月30日至10月3日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1126, 50-69 (1996).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Degtyarev}和\textit{A.Voronkov}，莱克特。注释计算。科学。1126，50-69（1996年；兹bl 1427.03032）
全文： DOI程序
安德烈·沃伦科夫

具有等式的直觉逻辑中的证明搜索，或返回到同时刚性\（E\）-统一。 （英语） Zbl 1415.03011号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1104, 32-46 (1996).
MSC公司：03B20型 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{A.Voronkov}，莱克特。注释计算。科学。1104，32-46（1996；Zbl 1415.03011）
全文： DOI程序
安德烈·沃伦科夫

基于约束满足的直觉逻辑证明。 （英语） Zbl 1415.03010号

Migliolo，P.（编辑）等人，用解析表和相关方法证明定理。第五届国际研讨会，1996年5月15日至17日，意大利巴勒莫Terrasini，TABLEAUX’96。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1071, 312-329 (1996).
MSC公司：03B20型 2015年3月1日 2017年第68季度 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Voronkov}，莱克特。注释计算。科学。1071、312--329（1996年；Zbl 1415.03010）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件