×

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

最新的 引文 关联
Fermüller，Christian G。

将连续计算与洛伦岑式对话游戏联系起来。 （英语） Zbl 1490.03014号

Gerhard Heinzmann等人（编辑），Paul Lorenzen–数学家和逻辑学家。2018年3月8日至9日在德国康斯坦茨举行的研讨会上发表的意见。查姆：斯普林格。日志。认识论。统一科学。51, 115-141 (2021).
审核人：沃尔克·佩克豪斯（帕德博恩）
MSC公司：03B47号 03B20型 01A60型 03A05号 03-03 第03页 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，日志。认识论。统一科学。51、115--141（2021；Zbl 1490.03014）
全文： 内政部
克里斯蒂安·弗缪勒；蒂莫·朗；亚历山大·巴夫洛娃

从真度比较游戏到哥德尔逻辑的解释序列计算。 （英语） Zbl 1512.03043号

Lesot，Marie-Jeanne（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。2020年6月15日至19日，葡萄牙里斯本，IPMU 2020第18届国际会议。诉讼程序。第一部分查姆：施普林格。Commun公司。计算。信息科学。1237, 257-270 (2020).
MSC公司：03B52号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Fermüller｝等人，公社。计算。信息科学。1237257-270（2020年；Zbl 1512.03043）
全文： 内政部
蒂莫·朗；卡洛斯·奥拉特；伊莱恩·皮门特尔；Fermüller，Christian G。

有成本证明的博弈模型。 （英语） Zbl 1468.03025号

Cerrito，Serenella（编辑）等，《使用分析表和相关方法的自动推理》。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11714, 241-258 (2019).
MSC公司：03B47号 第03页
PDF格式BibTeX公司 XML格式引用
\textit{T.Lang}等人，Lect。票据计算。科学。11714、241--258（2019；Zbl 1468.03025）
全文： 内政部 arXiv公司
Fermüller，Christian G。；Ondrej Majer

IF逻辑和多值连接词的平衡语义。 （英语） Zbl 1428.03053号

Hansen，Helle Hvid（编辑）等，《逻辑、语言和计算》。第十一届第比利斯国际研讨会，2015年第比利斯有限责任公司，格鲁吉亚第比利斯，2015年9月21日至26日。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。10148, 290-312 (2017).
MSC公司：03B60号 03B50
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{O.Majer}，莱克特。票据计算。科学。10148290-312（2017；Zbl 1428.03053）
全文： 内政部
Fermüller，Christian G。；蒂莫·朗

将后续计算解释为客户端-服务器游戏。 （英语） Zbl 1496.03127号

Schmidt，Renate A.（编辑）等人，《使用分析表和相关方法的自动推理》。2017年9月25日至28日，巴西巴西利亚，第26届国际会议，TABLEAUX 2017。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10501, 98-113 (2017).
MSC公司：03B70号 第03页 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{T.Lang}，莱克特。票据计算。科学。10501、98-113（2017；Zbl 1496.03127）
全文： 内政部
Fermüller，Christian G。

模糊量化的游戏语义。 （英语） Zbl 1410.03018号

Arazim，Pavel（编辑）等人，《2015年逻辑年鉴》。2015年6月15日至19日，捷克共和国赫尼策修道院，第29届年度国际研讨会Logica会议记录。伦敦：学院出版物。71-86 (2016).
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，收录于：《2015年逻辑年鉴》。2015年6月15日至19日，捷克共和国赫尼茨修道院，第29届年度国际研讨会Logica会议记录。伦敦：学院出版物。71-86（2016；Zbl 1410.03018）
马提亚斯·巴兹；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）
全文： 内政部
彼得·辛图拉（编辑）；Fermüller，Christian G。（编辑）；卡莱斯·诺格拉（编辑）

数学模糊逻辑手册。第3卷。 （英语） Zbl 1345.03001号

逻辑研究（伦敦）58.数学逻辑和基础。伦敦：学院出版物（ISBN 978-1-84890-193-3/pbk）。第十八章，公元929-1290年。(2015).
MSC公司：03-00 03-06 03B52号 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{P.Cintula}（编辑）等人，《数学模糊逻辑手册》。第3卷。伦敦：学院出版物（2015；Zbl 1345.03001）
Fermüller，Christian G。；克里斯托夫·罗斯格

模糊语境语言模型和基于t范数的模糊逻辑之间的桥梁。 （英语） Zbl 1357.03058号

Montagna，Franco（编辑），Petr Hájek关于数学模糊逻辑。查姆：施普林格（ISBN 978-3-319-06232-7/hbk；978-3-3169-06233-4/电子书）。《逻辑6的杰出贡献》，91-114（2015）。
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{C.Roschger}，Outst。控制日志。6、91——114（2015；Zbl 1357.03058）
全文： 内政部
Fermüller，Christian G。

Hintikka风格的模糊逻辑语义游戏。 （英语） Zbl 1408.03018号

Beierle，Christoph（编辑）等人，《信息和知识系统基础》。第八届国际研讨会，FoIKS 2014，法国波尔多，2014年3月3-7日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8367, 193-210 (2014).
MSC公司：03B50 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，莱克特。票据计算。科学。8367193-210（2014；Zbl 1408.03018）
全文： 内政部
Fermüller，Christian G。；克里斯托夫·罗斯格

半模糊量词的随机游戏语义。 （英语） Zbl 1252.03053号

Greco，Salvatore（编辑）等人，《计算智能的进展》。2012年7月9日至13日在意大利卡塔尼亚举行的第14届知识型系统信息处理和不确定性管理国际会议，IPMU 2012。会议记录，第四部分，柏林：施普林格出版社（ISBN 978-3-642-31723-1/pbk；978-3-662-31724-8/电子书）。计算机和信息科学通信300，632-641（2012）。
MSC公司：03B52号 03B50 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{C.Roschger}，Commun。计算。信息科学。300、632--641（2012；Zbl 1252.03053）
全文： 内政部 链接
马提亚斯·巴兹；蝉蜕、阿加塔；Fermüller，Christian G。

用\（\Delta\）对prenex Gödel逻辑进行定理证明：检查有效性和不可满足性。 （英语） Zbl 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公司
Fermüller，Christian G。；彼得·哈耶克

关于模糊逻辑和模糊性的对话。 （英语） Zbl 1275.03102号

Cintula，Petr（编辑）等人，《理解模糊性》。逻辑、哲学和语言观点。2009年9月14日至17日，在捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。伦敦：学院出版物（ISBN 978-1-84890-037-0/pbk）。《逻辑研究》（伦敦）36，405-416（2011）。
MSC公司：03B52号 03A05号
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{P.Hájek}，Stud.Log。（伦敦）36，405--416（2011；Zbl 1275.03102）
Fermüller，Christian G。

乌利·索尔兰（Uli Sauerland）关于“语言中的模糊性：重新审视反对模糊逻辑的案例”的评论。 （英语） 兹比尔1275.03116

Cintula，Petr（编辑）等人，《理解模糊性》。逻辑、哲学和语言观点。2009年9月14日至17日，在捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。伦敦：学院出版物（ISBN 978-1-84890-037-0/pbk）。《逻辑研究》（伦敦）36，199-202（2011）。
MSC公司：03B65号 03B52号
PDF格式BibTeX公司 XML格式引用
\textit｛C.G.Fermüller｝，螺柱日志。（伦敦）36，199--202（2011；Zbl 1275.03116）
Fermüller，Christian G。

托马斯·维特莱恩（Thomas Vetterlein）对“模糊性：数学家的观点”的评论。 （英语） Zbl 1275.03026号

Cintula，Petr（编辑）等人，《理解模糊性》。逻辑、哲学和语言观点。2009年9月14日至17日，在捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。伦敦：学院出版物（ISBN 978-1-84890-037-0/pbk）。《逻辑研究》（伦敦）3687-90（2011）。
MSC公司：03A05号 03B52号 03B65号 03E72型
PDF格式BibTeX公司 XML格式引用
\textit｛C.G.Fermüller｝，螺柱日志。（伦敦）36，87-90（2011；Zbl 1275.03026）
彼得·辛图拉（编辑）；Fermüller，Christian G。（编辑）；路易斯·戈多（编辑）；彼得·哈耶克（编辑）

理解模糊。逻辑、哲学和语言观点。2009年9月14日至17日，在捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。 （英语） Zbl 1239.03001号

逻辑研究（伦敦）36.伦敦：学院出版物（ISBN 978-1-84890-037-0/pbk）。第421页。(2011).
MSC公司：03-06 03A05号 03B52号 03B65号 68层37 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{P.Cintula}（编辑）等人，《理解模糊性》。逻辑、哲学和语言观点。2009年9月14日至17日，捷克共和国乔伊科维奇举行的模糊信息推理逻辑模型会议（LoMoReVI）上，根据会议上的演讲，选出了一些论文。伦敦：学院出版物（2011；Zbl 1239.03001）
Fermüller，Christian G。（编辑）；安德烈·沃龙科夫（编辑）

用于编程、人工智能和推理的逻辑。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。 （英语） Zbl 1197.68008号

计算机科学课堂讲稿6397.柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。xii，第656页。(2010).
MSC公司：68-06 03-06 03B70号 68T27型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格（2010年；Zbl 1197.68008）
全文： 内政部
马提亚斯·巴兹；Fermüller，Christian G。

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

Dawar，Anuj（编辑）等人，《计算机科学逻辑》。2010年8月23日至27日在捷克共和国布尔诺举行的第24届CSL 2010国际研讨会，EACSL第19届年会。诉讼程序。柏林：施普林格出版社（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）
全文： 内政部
Fermüller，Christian G。

贾尔斯风格的对话游戏和超高速系统。 （英语） Zbl 1206.03026号

Hosni，Hykel（编辑）等人，《概率、不确定性和合理性》。比萨：Edizioni della Normale（ISBN 978-88-7642-347-5/hbk）。Centro di Ricerca Matematica Ennio De Giorgi（CRM）Series（Nuova Serie）10169-195（2010年）。
MSC公司：03B50 03B52号 03财年03
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，客户关系管理服务。（N.S.）10，169--195（2010；Zbl 1206.03026）
Fermüller，Christian G。

真实值间隔、赌注和对话游戏。 （英语） Zbl 1275.03101号

米查尔·佩利什（编辑），《2008年逻辑年鉴》。2008年6月16日至20日，捷克共和国赫尼茨修道院罗吉卡年度国际研讨会论文集。伦敦：学院出版物（ISBN 978-1-904987-46-8/pbk）。43-55（2009年）。
MSC公司：03B52号 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，收录于：2008年Logica年鉴。2008年6月16日至20日，捷克共和国赫尼茨修道院罗吉卡年度国际研讨会论文集。伦敦：学院出版物。43-55（2009年；Zbl 1275.03101）
Fermüller，Christian G。

对话游戏作为模糊逻辑的基础。 （英语） Zbl 1170.03331号

Seising，Rudolf（编辑），《从不同角度看待模糊集和系统》。哲学和逻辑、批评和应用。柏林：施普林格出版社（ISBN 978-3-540-93801-9/hbk；978-3-440-93802-6/电子书）。《模糊性和软计算研究》243、229-245（2009）。
MSC公司：03B52号 03B50 68层37
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，Stud.模糊软计算。243、229--245（2009年；Zbl 1170.03331）
全文： 内政部
Fermüller，Christian G。

重温贾尔斯的比赛。协调模糊逻辑和超估价。 （英语） Zbl 1167.03019号

Majer，Ondrej（编辑）等人，《游戏：统一逻辑、语言和哲学》。柏林：施普林格出版社（ISBN 978-1-4020-9373-9/hbk；978-1-4020-9374-6/电子书）。《逻辑、认识论和科学的统一》15，209-227（2009）。
MSC公司：03B50 03B52号 91A05型 91A60型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，日志。认识论。统一科学。15、209--227（2009年；Zbl 1167.03019）
马提亚斯·巴兹；蝉蜕、阿加塔；Fermüller，Christian G。

通过超子句分解对一阶哥德尔逻辑进行截消。 （英语） 兹比尔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格式引用
\textit{M.Baaz}等人，Lect。票据计算。科学。5330451--466（2008年；Zbl 1182.03102）
全文： 内政部
马提亚斯·巴兹；蝉蜕、阿加塔；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。；莱因哈德·皮克勒

有限和无限特征上的模型表示。 （英语） Zbl 1152.03312号

Michael Fisher（编辑）等人，《人工智能中的逻辑》。第十届欧洲会议，JELIA 2006，英国利物浦，2006年9月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-39625-3/pbk）。计算机科学讲义4160。人工智能课堂讲稿，164-176（2006）。
MSC公司：03B35型 03B70号 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{R.Pichler}，莱克特。票据计算。科学。4160164--176（2006年；Zbl 1152.03312）
全文： 内政部
Fermüller，Christian G。；莱因哈德·皮克勒

通过上下文和隐式泛化进行模型表示。 （英语） Zbl 1135.03327号

Nieuwenhuis，Robert（编辑），自动扣除-CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28005-7/pbk）。计算机科学课堂讲稿3632。人工智能课堂讲稿，409-423（2005）。
MSC公司：03B35型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{R.Pichler}，莱克特。票据计算。科学。3632409--423（2005年；Zbl 1135.03327）
全文： 内政部
蝉蜕、阿加塔；Fermüller，Christian G。；乔治·梅特卡夫

模糊逻辑的统一规则和对话游戏。 （英语） 兹比尔1109.03019

Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，496-510（2005）。
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciabattoni}等人，Lect。票据计算。科学。3452496--510（2005；Zbl 1109.03019）
全文： 内政部
Fermüller，Christian G。

中间逻辑的并行对话游戏和超命令。 （英语） 兹比尔1274.03052

Cialdea Mayer，Marta（编辑）等人，《使用分析表和相关方法的自动推理》。2003年TABLEAUX国际会议，意大利罗马，2003年9月9日至12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40787-1/pbk）。莱克特。票据计算。科学。2796, 48-64 (2003).
MSC公司：03B55号
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，莱克特。票据计算。科学。2796，48-64（2003年；兹bl 1274.03052）
全文： 内政部
马提亚斯·巴兹；Fermüller，Christian G。

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

Vardi，Moshe Y.（编辑）等人，《编程逻辑、人工智能和推理》。第十届国际会议，2003年LPAR，哈萨克斯坦阿拉木图，2003年9月22日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20101-7/pbk）。莱克特。票据计算。科学。2850, 107-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 2007年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，《模糊软计算研究》。114157-180（2003年；Zbl 1041.03020）
埃格利，乌韦（编辑）；Fermüller，Christian G。（编辑）

使用分析表和相关方法进行自动推理。第11届国际会议，TABLEAUX 2002，丹麦哥本哈根，2002年7月30日至8月1日。诉讼程序。 （英语） Zbl 0993.00044号

计算机科学课堂讲稿2381.人工智能讲义。柏林：斯普林格。x、 第341页（2002年）。
MSC公司：00B25型 68-06 03-06 68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{U.Egly}（编辑）和\textit{C.G.Fermüller}（主编），用分析表和相关方法进行自动推理。第11届国际会议，TABLEAUX 2002，丹麦哥本哈根，2002年7月30日至8月1日。诉讼程序。柏林：施普林格出版社（2002；Zbl 0993.00044）
全文： 内政部
Fermüller，Christian G。；乔治·莫瑟；理查德·扎克

表aux用于推理原子更新。 （英语） Zbl 1275.68065号

Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。《人工智能课堂讲稿》，639-653（2001）。
MSC公司：第68页，共15页 03B35型 03B42号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}等人，Lect。票据计算。科学。2250、639--653（2001年；Zbl 1275.68065）
全文： 内政部
马提亚斯·巴兹；蝉蜕、阿加塔；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）
全文： 内政部
马提亚斯·巴兹；蝉蜕、阿加塔；Fermüller，Christian G。

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

Di Nola，Antonio（编辑）等，软计算和模糊逻辑讲座。海德堡：Physica-Verlag。软计算的进展。1-18 (2001).
审核人：维勒姆·诺瓦克（俄斯特拉发）
MSC公司：03B52号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Baaz｝等人，《软计算与模糊逻辑讲座》。海德堡：Physica-Verlag。1-18（2001；Zbl 1008.03015）
Fermüller，Christian G。；亚历山大·莱奇；乌尔里希·赫斯塔特；塔内尔·塔米特

决议决策程序。 （英语） Zbl 0993.68119号

Alan Robinson（编辑）等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔。1791-1849 (2001).
审核人：N.Zamov（喀山）
MSC公司：68吨15 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}等人，《自动推理手册》。2卷。阿姆斯特丹：北荷兰/爱思唯尔；马萨诸塞州剑桥：麻省理工学院出版社。1791-1849（2001年；Zbl 0993.68119）
马提亚斯·巴兹；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 0963.03075号

Dyckhoff，Roy（编辑），用分析表和相关方法进行自动推理。2000年7月3日至7日，苏格兰圣安德鲁斯，TABLEAUX 2000国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1847, 112-126 (2000).
MSC公司：05年3月 03B55号 03B35型 03B52号
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}等人，Lect。票据计算。科学。1847112--126（2000年；Zbl 0963.03075）
Fermüller，Christian G。

已签署决议的隐含完整性。 （英语） Zbl 0962.03008号

卡费拉、里卡多（编辑）等，《经典和非经典逻辑中的自动演绎》。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1761, 167-174 (2000).
审核人：Manuel Ojeda Aciego（马拉加）
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}，莱克特。票据计算。科学。1761、167--174（2000年；Zbl 0962.03008）
马提亚斯·巴兹；蝉蜕、阿加塔；克里斯蒂安·弗缪勒；赫尔穆特·维思

关于一些亚经典一阶逻辑的不可判定性。 （英语） 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）
马提亚斯·巴兹；Fermüller，Christian G。

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

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

模糊逻辑的证明理论：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。；赫伯特·兰斯泰纳

表aux用于具有任意分布形式的有限值逻辑。 （英语） 兹比尔0909.03045

de Swart，Harrie（编辑），用分析表和相关方法进行自动推理。1998年5月5日至8日，荷兰Oisterwijk，1998年TABLEAUX国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1397, 156-171 (1998).
审核人：M.P.博纳西纳（爱荷华州市）
MSC公司：03财年03 03B35型 03B45号 03B50 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{H.Langsteiner}，莱克特。票据计算。科学。1397、156--171（1998年；Zbl 0909.03045）
马提亚斯·巴兹；埃格利，乌韦；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；Zbl 1415.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格式引用
\文本{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公司：03B35型 03B20型 03B50
PDF格式BibTeX公司 XML格式引用
\textit{M.Baaz}和\textit{C.G.Fermüller}，莱克特。票据计算。科学。1071、65--79（1996年；Zbl 1415.03016）
全文： 内政部
马提亚斯·巴兹；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 0793.68131号

安德烈·沃伦科夫（编辑），《逻辑编程和自动推理》。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。698, 122-133 (1993).
MSC公司：68吨15 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{C.Fermüller}和\textit{G.Salzer}，莱克特。票据计算。科学。698122--133（1993年；Zbl 0793.68131）
Fermüller，Christian G。；亚历山大·莱奇

通过分辨率建立模型。 （英语） Zbl 0788.68128号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1992年9月28日至10月2日，意大利圣米尼亚托，CSL’92第六次研讨会。精选论文。柏林：Springer-Verlag。莱克特。票据计算。科学。702, 134-148 (1993).
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{A.Leitsch}，莱克特。票据计算。科学。702134--148（1993年；Zbl 0788.68128）
弗缪勒，C。（编辑）；A.莱奇。（编辑）；塔内尔·塔米特（编辑）；扎莫夫·奈尔（编辑）

决策问题的解决方法。 （英语） Zbl 0789.03013号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：Springer-Verlag。八、 205 p.DM 52.00/sc（1993年）。
审核人：S.Gottwald（莱比锡）
MSC公司：03B25号 2002年3月 68吨15 03-04 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{C.Fermüller}（ed.）等人，决策问题的解决方法。柏林：Springer-Verlag（1993；Zbl 0789.03013）
全文： 内政部
马提亚斯·巴兹；Fermüller，Christian G。

多值逻辑的解析。 （英语） Zbl 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）
克里斯蒂安·弗缪勒

决定某些子句集类的解析变量。 （英语） Zbl 0791.68148号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1990年10月1日至5日，德国海德堡CSL’90第四次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。533, 128-144 (1991).
审核人：克里斯蒂安·弗缪勒
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{C.Fermüller}，莱克特。票据计算。科学。533128--144（1991年；Zbl 0791.68148）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件