×

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

最新的 引文 关联
欧内斯特·戴维斯

验证技术和基础物理。 （英语） Zbl 1454.68162号

Nicolas Fillion等人，《数学、认识论和科学中的算法和复杂性》。2015年和2016年ACMES会议记录，英国伦敦。精选论文。纽约州纽约市：斯普林格；多伦多：菲尔兹数学科学研究所。Fields Inst.公社。82, 81-132 (2019).
MSC公司：68伏15 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{E.Davis}，Fields Inst.Commun公司。82、81-132（2019年；Zbl 1454.68162）
全文： 内政部
反向链接： 卫生官员
克里斯蒂安·斯特纳格尔;莎拉·温克勒

通过有序完成证明等式推理。 （英语） 兹伯利07178995

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 508-525 (2019).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Sternagel}和\textit{S.Winkler}，莱克特。注释计算。科学。11716、508-525（2019；Zbl 07178995）
全文： 内政部
劳伦斯·C·鲍尔森。

计算逻辑：起源和应用。 （英语） Zbl 1402.68160号

程序。英国皇家学会。，A、 数学。物理学。工程科学。 474，No.2210，文章ID 20170872，14 p.（2018）.
MSC公司：68吨15 68-03 01A60型 01A61号 03B35型 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{L.C.Paulson}，程序。英国皇家学会。，A、 数学。物理学。工程科学。474，第2210号，文章ID 20170872，14页（2018；Zbl 1402.68160）
全文： 内政部 arXiv公司
兰加纳坦帕德马纳班;张扬

环理论中的自动演绎。 （英语） Zbl 1434.68642号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 67-74 (2016).
MSC公司：68伏15 03B35型 2016年05月
PDF格式BibTeX公司 XML格式引用
\textit{R.Padmanabhan}和\textit{Y.Zhang}，Lect。注释计算。科学。9725，67-74（2016；Zbl 1434.68642）
全文： 内政部
杰西·阿拉玛;莱因哈德·卡勒

检查证据。 （英语） Zbl 1330.00021号

安德鲁·阿伯丁（编辑）等人，《数学的论证》。多德雷赫特：施普林格（ISBN 978-94-007-6533-7/hbk；978-94-07-6534-4/电子书）。《逻辑、认识论和科学的统一》30，147-170（2013）。
审核人：曼弗雷德·科伯（伯明翰）
MSC公司：00A30型 00A35型 03-03 01A60型 01A61号 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Alama}和\textit{R.Kahle}，日志。认识论。统一科学。30、147-170（2013；Zbl 1330.00021）
全文： 内政部
迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃龙科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉

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）
全文： 内政部
张汉涛;张健

MACE4和SEM：有限模型生成器的比较。 （英语） Zbl 1383.68083号

Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·W·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。《人工智能课堂讲稿》，101-130（2013）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhang}和\textit{J.Zhang}，Lect。注释计算。科学。7788101-130（2013年；兹bl 1383.68083）
全文： 内政部
莱昂纳多·德·莫拉;帕斯莫尔，格兰特·奥尼

SMT解决中的战略挑战。 （英语） Zbl 1383.68084号

Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·W·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。人工智能课堂讲稿，15-44（2013）。
MSC公司：68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{L.de Moura}和\textit{G.O.Passmore}，莱克特。注释计算。科学。7788，15-44（2013；Zbl 1383.68084）
全文： 内政部 链接
沃斯，拉里

一位伟大研究者的遗产。 （英语） Zbl 1383.68004号

Bonacina，Maria Paola（编辑）等人，《自动推理和数学》。纪念威廉·W·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。人工智能课堂讲稿，1-14（2013）。
MSC公司：68-03 01A70号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{L.Wos}，莱克特。注释计算。科学。7788，1-14（2013；Zbl 1383.68004）
全文： 内政部
乔昂·阿劳乔;Janusz Konieczny公司

一种为半群类寻找新公理集的方法。 （英语） Zbl 1262.20059号

架构（architecture）。数学。逻辑 51，第5-6号，461-474（2012）.
审核人：佩德罗·桑切斯·特拉夫（科尔多瓦）
MSC公司：2007年7月20日 2002年2月20日 20A05年 08B05号 20平方米 08A02号 03C05号机组 20个M10
PDF格式BibTeX公司 XML格式引用
\textit{J.Araüjo}和\textit{J.Konieczny}，Arch。数学。逻辑51，No.5--6，461--474（2012；Zbl 1262.20059）
全文： 内政部 链接
科恩·克莱森;安·利利斯特罗姆

有限不可满足性的自动推断。 （英语） Zbl 1237.68178号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，388-403（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Claessen}和\textit{A.Lillieström}，莱克特。注释计算。科学。5663388--403（2009年；Zbl 1237.68178）
全文： 内政部
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）
全文： 内政部
彼得·霍夫纳;乔治·斯特鲁斯

关于自动计算关系。 （英语） Zbl 1165.68460号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。《人工智能课堂讲稿》，50-66页（2008年）。
MSC公司：68吨15 03B35型 03克15
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}和\textit{G.Struth}，莱克特。注释计算。科学。5195，50-66（2008年；兹比尔1165.68460）
全文： 内政部
迪特尔·赫特

演绎作为一门工程科学。 （英语） Zbl 1261.68102号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，第1-8页（2003年）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Hutter}，电子。注释Theor。计算。科学。86，编号1，1--8（2003；Zbl 1261.68102）
全文： 内政部
玛丽亚·保拉（Maria Paola Bonacina）

子句扩散定理证明者Peers-mcd（系统描述）。 （英语） Zbl 1430.68394号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣款国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 53-56 (1997).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.P.Bonacina}，莱克特。注释计算。科学。1249、53-56（1997年；Zbl 1430.68394）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件