×

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

最新的 引文 关联
马提亚斯·巴兹;Lolić，阿内拉

有效的Skolemization。 （英语） Zbl 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ć｝，Lect。注释计算。科学。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）
全文： 内政部
马提亚斯·巴兹;阿内拉·洛里奇

林登插值适用于哥德尔逻辑的prenex（\supset）prenex片段。 （英语） Zbl 1416.03011号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 95-110 (2018).
MSC公司：03B50号 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{A.Lolic}，EPiC Ser。计算。57、95——110（2018；Zbl 1416.03011）
全文： 内政部
马提亚斯·巴兹;Preining，诺伯特

哥德尔逻辑和FO-LTL的全装箱片段。 （英语） Zbl 1402.03025号

Eiter，Thomas（编辑）等人，LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特：EasyChair。EPiC计算系列46，404-416（2017）。
MSC公司：03B44号 03B50号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{N.Preining}，EPiC Ser。计算。46、404--416（2017；Zbl 1402.03025）
全文： 内政部
马提亚斯·巴兹;阿内拉·洛里奇

由命题插值导出的非经典逻辑的一阶插值。 （英语） Zbl 1496.03097号

Dixon，Clare（编辑）等人，《组合系统的前沿》。2017年9月27日至29日在巴西巴西利亚举行的2017年FroCoS第11届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10483, 265-280 (2017).
MSC公司：03B50号 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{A.Lolic}，莱克特。注释计算。科学。10483，265--280（2017；Zbl 1496.03097）
全文： 内政部
Juan P.阿奎莱拉。;马提亚斯·巴兹

Gödel逻辑的截消，用一个操作符加一个常数。 （英语） Zbl 1478.03050号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。9803，36-51（2016年）。
MSC公司：03B50号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Aguilera}和\textit{M.Baaz}，莱克特。注释计算。科学。9803，36-51（2016；Zbl 1478.03050）
全文： 内政部
马提亚斯·巴兹;Fermüller，Christian G。

在无析取直觉逻辑中基本消除prenex切割。 （英语） Zbl 1373.03122号

Kreutzer，Stephan（编辑），第24届EACSL年会和第29届计算机科学逻辑研讨会，CSL’15，德国柏林，2015年9月7日至10日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-90-3）。LIPIcs–莱布尼茨国际信息学论文集41，94-109（2015）。
MSC公司：05年3月 03B20型 20层03
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{C.G.Fermüller}，LIPIcs——莱布尼茨国际程序。通知。41、94-109（2015年；Zbl 1373.03122）
全文： 内政部
马提亚斯·巴兹;奥里·拉哈夫;安娜·扎曼斯基

标记计算的有效有限值语义。 （英语） Zbl 1358.03018号

Gramlich，Bernhard（编辑）等人，《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31364-6/pbk）。计算机科学课堂讲稿7364。人工智能课堂讲稿，52-66（2012）。
MSC公司：03B22号 03B35型 03B50号 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。7364，52-66（2012；Zbl 1358.03018）
全文： 内政部
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。

用\（\Delta\）对prenex Gödel逻辑进行定理证明：检查有效性和不可满足性。 （英语） 兹比尔1238.03021

日志。方法计算。科学。 8，第1号，第20号论文，23页（2012）.
MSC公司：03B35型 03B50号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，日志。方法计算。科学。8，第1号，第20号论文，23页（2012；Zbl 1238.03021）
全文： 内政部 arXiv公司
巴兹，马蒂亚斯;亚历山大·莱奇

切割方法。 （英语） Zbl 1225.03075号

逻辑趋势——Studia Logica Library 34。柏林：施普林格出版社（ISBN 978-94-007-0319-3/hbk；978-94-07-20-9/电子书）。第六章，第287页。(2011).
审核人：G.E.Mints（斯坦福）
MSC公司：05年3月 03B35型 03-02
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{A.Leitsch}，切割方法。柏林：施普林格出版社（2011；Zbl 1225.03075）
全文： 内政部
马提亚斯·巴兹;Fermüller，Christian G。

prenex Gödel逻辑的解决机制。 （英语） Zbl 1238.03022号

Dawar，Anuj（编辑）等人，《计算机科学逻辑》。第24届国际研讨会，CSL 2010，EACSL第19届年会，2010年8月23日至27日，捷克共和国布尔诺。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15204-7/pbk）。计算机科学课堂讲稿624767-79（2010）。
MSC公司：03B35型 03B50号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{C.G.Fermüller}，莱克特。注释计算。科学。6247、67--79（2010年；Zbl 1238.03022）
全文： 内政部
马提亚斯·巴兹;蝉蜕、阿加塔;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。注释计算。科学。5514、113--123（2009年；Zbl 1246.03046）
全文： 内政部
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。

通过超子句分解对一阶哥德尔逻辑进行截消。 （英语） Zbl 1182.03102号

Cervesato，Iliano（编辑）等人，《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89438-4/pbk）。计算机科学课堂讲稿5330。人工智能课堂讲稿，451-466（2008）。
MSC公司：05年3月 03B35型
PDF格式BibTeX公司 XML格式引用
\文本{M.Baaz}等人，Lect。注释计算。科学。5330451--466（2008年；Zbl 1182.03102）
全文： 内政部
马提亚斯·巴兹;乔治·梅特卡夫

Herbrand定理和prenex模糊逻辑的Skolemization。 （英语） Zbl 1142.03340号

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028，22-31（2008）。
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{G.Metcalfe}，莱克特。注释计算。科学。5028、22-31（2008年；Zbl 1142.03340）
全文： 内政部
马提亚斯·巴兹;理查德·扎克

一般命题逻辑的有效有限值逼近。 （英语） 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格式引用
\文本{M.Baaz}等人，Lect。注释计算。科学。4790，77--91（2007；Zbl 1138.03025）
全文： 内政部
马提亚斯·巴兹;乔治·梅特卡夫

一阶Łukasiewicz逻辑的证明理论。 （英语） Zbl 1133.03010号

Olivetti，Nicola（编辑），《使用分析表和相关方法的自动推理》。第16届国际会议，2007年7月3日至6日，法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73098-9/pbk）。计算机科学课堂讲稿4548。人工智能课堂讲稿，28-42（2007）。
MSC公司：03B50号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{G.Metcalfe}，莱克特。注释计算。科学。4548，28-42（2007；Zbl 1133.03010）
全文： 内政部
巴兹，马蒂亚斯;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔

CERES的证明转换。 （英语） Zbl 1125.03012号

Borwein，Jonathan M.（编辑）等人，《数学知识管理》。2006年8月11日至12日在英国沃金汉举行的2006年MKM第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37104-4/pbk）。计算机科学4108课堂讲稿。人工智能课堂讲稿，82-93（2006）。
MSC公司：03B35型 05年3月 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。4108，82-93（2006；Zbl 1125.03012）
全文： 内政部
马提亚斯·巴兹;罗莎莉，伊姆霍夫

关于存在谓词的证明理论。 （英语） Zbl 1279.03031号

阿尔特莫夫、谢尔盖（编辑）等，我们将向他们展示！为纪念多夫·加巴伊60岁生日而写的论文。第1卷。伦敦：学院出版物（ISBN 1-904987-17/pbk；1-904987-27/hbk）。《致敬》1125-165（2005）。
MSC公司：03B20型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{R.Iemhoff}，《致敬》1，125--165（2005；Zbl 1279.03031）
马提亚斯·巴兹;罗莎莉，伊姆霍夫

关于存在逻辑中的插值。 （英语） Zbl 1143.03325号

Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835697-711（2005）。
MSC公司：03B20型 03C40号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{R.Iemhoff}，莱克特。注释计算。科学。3835697-711（2005年；Zbl 1143.03325）
全文： 内政部
马提亚斯·巴兹

关于司法背景下的形式类比推理的注释。 （英语） 兹比尔1136.68523

Luke Ong（编辑），《计算机科学逻辑》。2005年8月22日至25日，第19届CSL国际研讨会，第14届EACSL年会，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28231-9/pbk）。计算机科学课堂讲稿3634，18-26（2005）。
MSC公司：第68页第27页 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}，莱克特。注释计算。科学。3634，18-26（2005；Zbl 1136.68523）
全文： 内政部
马提亚斯·巴兹;斯特凡·赫兹尔;亚历山大·莱奇;克莱门斯·里希特;亨德里克·斯波尔

削减：CERES实验。 （英语） Zbl 1108.03305号

Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，481-495（2005）。
MSC公司：03B35型 05年3月 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。3452、481--495（2005；Zbl 1108.03305）
全文： 内政部
马提亚斯·巴兹;亚历山大·莱奇

多值逻辑中的CERES。 （英语） 兹比尔1109.03007

Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，1-20（2005）。
MSC公司：03B35型 03B50号 05年3月 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{A.Leitsch}，莱克特。注释计算。科学。3452，1--20（2005；Zbl 1109.03007）
全文： 内政部
巴兹，马蒂亚斯;Fermüller，Christian G。

以经典理论的建设性内容为特征的翻译。 （英语） Zbl 1273.03160号

Vardi，Moshe Y.（编辑）等人，《编程逻辑、人工智能和推理》。第十届国际会议，2003年LPAR，哈萨克斯坦阿拉木图，2003年9月22日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20101-7/pbk）。莱克特。注释计算。科学。第2850107-121页（2003年）。
MSC公司：20层03 03B35型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Baaz｝和\textit｛C.G.Fermüller｝，勒克特。注释计算。科学。2850107-121（2003年；Zbl 1273.03160）
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。

关系序列计算：多值逻辑中分析演绎的框架。 （英语） Zbl 1041.03020号

Fitting，Melvin（编辑）等人，《超越二：多值逻辑的理论和应用》。海德堡：Physica-Verlag（ISBN 3-7908-1541-1/pbk）。模糊软计算研究。114, 157-180 (2003).
审核人：弗拉基米尔·科门丹斯基（多尔戈普鲁德尼）
MSC公司：03B50号 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，《模糊软计算研究》。114157-180（2003年；Zbl 1041.03020）
马提亚斯·巴兹（编辑）;约翰·马考斯基（Johann A.Makowsky）。（编辑）

计算机科学逻辑。2003年8月25日至30日，第17届CSL国际研讨会，第12届EACSL年会，KGC 2003年第8届库尔特·哥德尔学术讨论会，奥地利维也纳。诉讼程序。 （英语） Zbl 1019.00011号

计算机科学课堂讲稿. 2803. 柏林：施普林格。xii，590页（2003年）。
MSC公司：00B25型 68-06 03-06 03B70号 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}（编辑）和\textit{J.A.Makowsky}（主编），计算机科学逻辑。2003年第17届CSL国际研讨会，第12届EACSL年会，2003年8月25日至30日在奥地利维也纳举行的KGC第八届库尔特·哥德尔学术讨论会。诉讼程序。柏林：施普林格出版社（2003；Zbl 1019.00011）
全文： 内政部 链接
马提亚斯·巴兹

通过决议进行验证分析。 （英语） 兹比尔1072.03516

Andrei Voronkov（编辑），自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43931-5）。莱克特。注释计算。科学。2392, 517-531 (2002).
MSC公司：07年3月 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}，莱克特。注释计算。科学。2392517--531（2002年；Zbl 1072.03516）
全文： 链接
马提亚斯·巴兹

通过决议进行验证分析。 （英语） Zbl 1015.03509号

Egly，Uwe（ed.）等人，《使用分析表和相关方法的自动推理》。第11届国际会议，TABLEAUX 2002，丹麦哥本哈根，2002年7月30日至8月1日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2381, 1 (2002).
MSC公司：03B35型 第68页第15页 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}，莱克特。注释计算。科学。2381,1（2002年；Zbl 1015.03509）
全文： 链接
马提亚斯·巴兹（编辑）;安德烈·沃伦科夫（编辑）

用于编程、人工智能和推理的逻辑。2002年10月14日至18日在格鲁吉亚第比利斯举行的2002年LPAR第九届国际会议。诉讼程序。 （英语） Zbl 1007.00026号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格。xiii，463页（2002年）。
MSC公司：00B25型 03-06 68-06 03B70号 第68页第27页 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第九届国际会议，2002年LPAR，格鲁吉亚第比利斯，2002年10月14-18日。诉讼程序。柏林：施普林格（2002年；Zbl 1007.00026）
全文： 内政部 链接
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。

Herbrand关于prenex-Gödel逻辑的定理及其对定理证明的影响。 （英语） Zbl 1275.03098号

Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。《人工智能课堂讲稿》，201-216（2001）。
MSC公司：03B50号 03B35型 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。2250、201-216（2001年；Zbl 1275.03098）
全文： 内政部
马提亚斯·巴兹;乔治·莫瑟

关于Herbrand定理的推广。 （英语） 兹比尔0999.03051

劳伦·弗里堡（编辑），《计算机科学逻辑》。2001年9月10日至13日在法国巴黎举行的第15届CSL国际研讨会，EACSL第十届年会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2142, 469-483 (2001).
MSC公司：20层03 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{G.Moser}，莱克特。注释计算。科学。2142469--483（2001年；Zbl 0999.03051）
全文： 链接
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。

直觉模糊逻辑的自然演绎系统。 （英语） Zbl 1008.03015号

Di Nola，Antonio（编辑）等，软计算和模糊逻辑讲座。海德堡：Physica-Verlag。软计算的进展。1-18 (2001).
审核人：维勒姆·诺瓦克（俄斯特拉发）
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，in：软计算和模糊逻辑讲座。海德堡：Physica-Verlag。1-18（2001；Zbl 1008.03015）
马提亚斯·巴兹;Fermüller，Christian G。;格诺·萨尔泽

多值逻辑的自动演绎。 （英语） Zbl 0992.03015号

Alan Robinson（编辑）等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔。1355-1402 (2001).
审核人：弗拉基米尔·科门丹斯基（多尔戈普鲁德尼）
MSC公司：03B35型 03B50号 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。1355--1402（2001；Zbl 0992.03015）
马提亚斯·巴兹;埃格利，乌韦;亚历山大·莱奇

范式转换。 （英语） Zbl 1005.03013号

Alan Robinson（编辑）等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；0-444-50812-0（第二卷）；0-444-50813-9（套））。273-333 (2001).
审核人：U.Schöning（乌尔姆）
MSC公司：03B35型 05年3月 07年3月 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit｛M.Baaz｝等人，《自动化推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。273--333（2001年；Zbl 1005.03013）
巴兹，马蒂亚斯;蝉蜕、阿加塔;理查德·扎克

量化命题哥德尔逻辑。 （英语） Zbl 0988.03014号

Parigot，Michel（编辑）等人，《编程逻辑和自动推理》。第七届国际会议，2000年11月6日至10日，法国留尼汪岛LPAR 2000。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1955, 240-256 (2000).
MSC公司：03B25号 03B50号 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。1955年，240-256（2000年；Zbl 0988.03014）
全文： arXiv公司
马提亚斯·巴兹;理查德·扎克

超序列与直觉模糊逻辑的证明理论。 （英语） Zbl 0973.03029号

Peter G.Clote（编辑）等人，《计算机科学逻辑》。第14届国际研讨会，CSL 2000。2000年8月21日至26日在德国菲施巴乔举行的欧洲原子能委员会年会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1862, 187-201 (2000).
MSC公司：03B52号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{R.Zach}，莱克特。注释计算。科学。1862187-201（2000年；Zbl 0973.03029）
全文： arXiv公司
马提亚斯·巴兹;Fermüller，基督徒;赫尔穆特·维思

量化命题哥德尔逻辑的分析演算。 （英语） Zbl 0963.03075号

Dyckhoff，Roy（编辑），用分析表和相关方法进行自动推理。2000年7月3日至7日，苏格兰圣安德鲁斯，TABLEAUX 2000国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1847, 112-126 (2000).
MSC公司：05年3月 03B55号 03B35型 03B52号
PDF格式BibTeX公司 XML格式引用
\文本{M.Baaz}等人，Lect。注释计算。科学。1847112--126（2000年；Zbl 0963.03075）
马提亚斯·巴兹;赫尔穆特·维思

使用Takeuti-Titani规则对量化命题哥德尔逻辑进行公理化。 （英语） Zbl 0943.03020号

Buss，Samuel R.（编辑）等人，《98年逻辑学术讨论会》。符号逻辑协会年度欧洲夏季会议记录，1998年8月9日至15日，捷克共和国布拉格。马萨诸塞州纳蒂克：A K Peters，Ltd.Lect。注释日志。13, 91-104 (2000).
MSC公司：03B50号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{H.Veith}，莱克特。注释日志。13、91——104（2000；Zbl 0943.03020）
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，基督徒;赫尔穆特·维思

关于一些亚经典一阶逻辑的不可判定性。 （英语） Zbl 0952.03003号

Pandu Rangan，C.（编辑）等人，《软件技术和理论计算机科学基础》。第19届会议，印度钦奈，1999年12月13日至15日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1738, 258-268 (1999).
MSC公司：03B25号 05年3月 03B20型 03B50号 03B47号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。1738、258--268（1999；Zbl 0952.03003）
马提亚斯·巴兹;赫尔穆特·维思

模糊逻辑中的量词消除。 （英语） Zbl 0933.03022号

Gottlob，Georg（编辑）等人，《计算机科学逻辑》。1998年8月24日至28日在捷克共和国布尔诺举行的第十二届国际研讨会，1998年CSL，EACSL年会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1584, 399-414 (1999).
MSC公司：03B52号 03C10号机组 03B50号 72年6月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{H.Veith}，莱克特。注释计算。科学。1584399-414（1999；Zbl 0933.03022）
马提亚斯·巴兹;Fermüller，Christian G。

射影逻辑的分析计算。 （英语） Zbl 0931.03066号

Murray，Neil V.（编辑），使用分析表和相关方法进行自动推理。1999年6月7日至11日，美国纽约州萨拉托加斯普林斯，1999年TABLEAUX国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1617, 36-50 (1999).
MSC公司：03财年03 03B50号 第68页第27页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{C.G.Fermüller}，莱克特。注释计算。科学。1617，36--50（1999；Zbl 0931.03066）
马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，基督徒;赫尔穆特·维思

模糊逻辑的证明理论：Urquhart（C）及其相关逻辑。 （英语） Zbl 0921.03028号

Brim，Luboš（编辑）等人，《计算机科学的数学基础》，1998年。第23届国际研讨会，MFCS’98。1998年8月24日至28日，捷克共和国布尔诺。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1450, 203-212 (1998).
审核人：齐格弗里德·约翰内斯·戈特瓦尔德（莱比锡）
MSC公司：03B52号 03财年03 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。1450、203--212（1998年；Zbl 0921.03028）
马提亚斯·巴兹;埃格利，乌韦;Fermüller，Christian G。

表格的精益归纳原则。 （英语） Zbl 1415.03015号

Galmiche，Didier（编辑），分析表的自动推理和相关方法。1997年5月13日至16日，法国蓬特-阿-穆森，TABLEAUX’97国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1227, 62-75 (1997).
MSC公司：03B35型 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。1227，62-75（1997年；兹bl 1415.03015）
全文： 内政部
马提亚斯·巴兹

具有0-1投影和相对化的无穷值哥德尔逻辑。 （英语） Zbl 0862.03015号

Hájek，Petr（编辑），哥德尔’96。数学、计算机科学和物理的逻辑基础——库尔特·哥德尔的遗产。会议记录，布尔诺，捷克共和国，1996年8月。柏林：Springer-Verlag。莱克特。注释日志。6, 23-33 (1996).
MSC公司：03B50号 03B45 03B55号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}，莱克特。注释日志。6、23-33（1996年；Zbl 0862.03015）
马提亚斯·巴兹;Fermüller，Christian G。;格诺·萨尔泽;理查德·扎克

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

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1104, 226-230 (1996).
MSC公司：第68页第15页 03B50号 68层35
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。11041226-230（1996年；兹bl 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公司：03B35型 03B20型 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{C.G.Fermüller}，莱克特。注释计算。科学。1071、65--79（1996年；Zbl 1415.03016）
全文： 内政部
M.巴兹。;扎克，R。

使用等价模式的重言式的简短证明。 （英语） Zbl 0953.03513号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1993年9月13日至17日，英国斯旺西CSL’93第七次研讨会。精选论文。柏林：施普林格。莱克特。注释计算。科学。832，33-35（1994）中所述。
MSC公司：03B35型 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{R.Zach}，莱克特。注释计算。科学。832、33-35（1994年；Zbl 0953.03513）
马提亚斯·巴兹;Fermüller，Christian G。;阿里·奥夫鲁茨基;理查德·扎克

MULTLOG：将多值逻辑公理化的系统。 （英语） Zbl 0793.68126号

安德烈·沃伦科夫（编辑），《逻辑编程和自动推理》。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。698, 345-347 (1993).
MSC公司：第68页第15页 03B50号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。注释计算。科学。698，345--347（1993；Zbl 0793.68126）
马提亚斯·巴兹;理查德·扎克

无割证明的算法结构。 （英语） Zbl 0794.03076号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1992年9月28日至10月2日，意大利圣米尼亚托CSL’92第六次研讨会。精选论文。柏林：Springer-Verlag。莱克特。注释计算。科学。702，29-42（1993年）。
MSC公司：20层03 03B25号 03B35型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛M.Baaz｝和\textit｛R.Zach｝，Lect。注释计算。科学。702，29-42（1993；Zbl 0794.03076）
马提亚斯·巴兹;Fermüller，Christian G。

多值逻辑的解析。 （英语） 兹伯利0920.03019

Voronkov，A.（编辑），雾编程和自动推理。1992年7月15日至20日，俄罗斯圣彼得堡LPAR’92国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。624, 107-118 (1992).
MSC公司：03B35型 03B50号 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{C.G.Fermüller}，莱克特。注释计算。科学。624、107——118（1992年；Zbl 0920.03019）
马提亚斯·巴兹;亚历山大·莱奇

Die Anwendung starker Reduktionsregeln in automatischen Beweisen公司。 （德语） Zbl 0596.03007号

Sitzungsber.公司。，阿布特二世。阿卡德。威斯。，数学-大自然。克利尼亚。 194, 287-307 (1985).
MSC公司：03B35型 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{A.Leitsch}，Sitzungsber。，阿布特二世。阿卡德。威斯。，数学-大自然。Kl.194，287--307（1985；Zbl 0596.03007）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件