×

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

最新的 引文 关联
马提亚斯·巴兹;阿内拉·洛利奇

有效的Skolemization。 （英语） 兹伯利07810558

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 69-82 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{A.Lolić}，莱克特。注释计算。科学。13923、69-82（2023；Zbl 07810558）
全文： 内政部
马提亚斯·巴兹;阿内拉·洛里奇

Andrews Skolemization可能会大大缩短分辨率证明。 （英语） Zbl 07551708号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137, 9-24 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{A.Lolic}，莱克特。注释计算。科学。13137，9--24（2022；Zbl 07551708）
全文： 内政部
马提亚斯·巴兹

注意按名称进行证明陈述的好处。 （英语） Zbl 1469.03157号

Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼（Villa Vigoni）的德国-意大利欧洲卓越中心（German-Italian Centre for European Excellence）举行的洪堡-科尔勒格（Humboldt-Kolleg）“作为数学普适性的证明理论”。查姆：斯普林格。合成。伦敦银行同业拆借利率。412, 37-45 (2019).
MSC公司：03财年03 07年3月
PDF格式BibTeX公司 XML格式引用
\文本{M.Baaz}，Synth。伦敦银行同业拆借利率。412、37-45（2019年；Zbl 1469.03157）
全文： 内政部
马提亚斯·巴兹;蝉蜕、阿加塔;Preining，诺伯特

一元哥德尔逻辑中的SAT：可判定性和不可判定性之间的边界。 （英语） Zbl 1246.03046号

Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21-24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，113-123（2009）。
MSC公司：03B52号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。5514113-123（2009年；兹bl 1246.03046）
全文： 内政部
马提亚斯·巴兹;理查德·扎克

一般命题逻辑的有效有限值逼近。 （英语） Zbl 1133.03328号

Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。《计算机科学讲义》4800，107-129（2008）。
MSC公司：03B50
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{R.Zach}，莱克特。注释计算。科学。4800、107——129（2008；Zbl 1133.03328）
全文： 内政部 arXiv公司
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。

哥德尔逻辑的一元碎片：可判定性和不可判定性结果。 （英语） Zbl 1138.03025号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，77-91（2007）。
MSC公司：03B50 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。4790，77--91（2007；Zbl 1138.03025）
全文： 内政部
马提亚斯·巴兹;Fermüller，Christian G。;格诺·萨尔泽;理查德·扎克

MUltlog 1.0：面向多值逻辑专家系统。 （英语） Zbl 1412.68204号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第1104226-230页（1996年）。
MSC公司：68吨15 03B50 68层35
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。1104226-230（1996年；Zbl 1412.68204）
全文： 内政部
马提亚斯·巴兹;Fermüller，Christian G。

结合了多值和直观的表格。 （英语） Zbl 1415.03016号

Migliolo，P.（编辑）等人，用解析表和相关方法证明定理。第五届国际研讨会，1996年5月15日至17日，意大利巴勒莫Terrasini，TABLEAUX’96。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1071, 65-79 (1996).
MSC公司：03立方厘米35 03B20型 03B50
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{C.G.Fermüller}，莱克特。注释计算。科学。1071，65-79（1996年；兹bl 1415.03016）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件