×

找到23个文档（结果1–23）

最新的 引文 关联
福恩市长，大卫;克里斯托夫·本兹穆勒

计算机支持的气候工程论据分析。 （英语） Zbl 1509.68246号

Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，中国杭州，2020年4月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 104-115 (2020).
MSC公司：68T27型 03B16号 68立方英尺 68伏15 68版本20 86A08型
PDF格式BibTeX公司 XML格式引用
\textit{D.Fuenmayor}和\textit{C.Benzmüller}，Lect。注释计算。科学。12061、104-115（2020年；Zbl 1509.68246）
全文： 内政部
卢卡·蒂门斯;Dana S.斯科特。;克里斯托夫·本兹穆勒;米罗斯拉夫·本达

计算机支持的类模型分类公理化探索。 （英语） Zbl 1509.68328号

Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12062, 302-317 (2020).
MSC公司：68版本20 03B35型 03C07号机组 03C99号 第18页第15页 2018年11月20日
PDF格式BibTeX公司 XML格式引用
\textit{L.Tiemens}等人，Lect。注释计算。科学。12062、302-317（2020年；Zbl 1509.68328）
全文： 内政部 arXiv公司
克里斯托夫·本兹穆勒;家长，Xavier;范德托雷，利安德特

为伦理和法律推理设计规范理论：LogiKEy公司框架、方法和工具支持。 （英语） Zbl 1493.68286号

Artif公司。智力。 287，文章ID 103348，28 p.（2020）.
MSC公司：68时01分 03A05号 03B16号 03B35型 03B45号 68T27型 68立方英尺 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}等人，Artif。智力。287，文章ID 103348，28 p.（2020；Zbl 1493.68286）
全文： 内政部 arXiv公司
克里斯托夫·本兹穆勒;福恩市长，大卫

哥德尔本体论论证变体中的积极性质、超滤和模态坍塌的计算机支持分析。 （英语） Zbl 1461.03021号

牛市。第节。日志。，罗兹大学，后勤部。 第2期第49页，第127-148页（2020年）.
MSC公司：03B45号 03B35型 03-08
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}和\textit{D.Fuenmayor}，公牛。第节。日志。，大学后勤部。49，第2号，127--148（2020；Zbl 1461.03021）
全文： 内政部 arXiv公司
福恩市长，大卫;克里斯托夫·本兹穆勒

计算解释学：对自然语言论证进行逻辑分析的综合方法。 （英语） Zbl 07229671号

廖北水（编辑）等，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。日志。亚洲：双头螺栓。原木。伦敦银行同业拆借利率。，187-207年（2019年）。
MSC公司：68伏15 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{D.Fuenmayor}和\textit{C.Benzmüller}，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。187-207（2019；Zbl 07229671）
全文： 内政部
亚历山大·斯蒂恩;马克斯·维斯涅夫斯基;克里斯托夫·本兹穆勒

基于Agent的HOL推理。 （英语） Zbl 1434.68646号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 75-81 (2016).
MSC公司：68伏15 03B16号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{A.Steen}等人，Lect。注释计算。科学。9725，75-81（2016；Zbl 1434.68646）
全文： 内政部 链接
克里斯托夫·本兹穆勒;达纳·斯科特

自动化Isabelle/HOL中的自由逻辑。 （英语） Zbl 1434.68638号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 43-50 (2016).
MSC公司：68伏15 03B16号 03B35型 03B60号 第18页第15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}和\textit{D.Scott}，莱克特。注释计算。科学。9725，43-50（2016年；兹比尔1434.68638）
全文： 内政部
马克斯·维斯涅夫斯基;亚历山大·斯蒂恩;金·克恩;克里斯托夫·本兹穆勒

HOL的有效归一化技术。 （英语） Zbl 1475.68453号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 362-370 (2016).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Wisniewski}等人，Lect。注释计算。科学。9706362--370（2016；Zbl 1475.68453）
全文： 内政部 链接
克里斯托夫·本兹穆勒;布鲁诺沃尔岑洛格尔古

高阶模态逻辑：自动化和应用。 （英语） Zbl 1358.68273号

Faber，Wolfgang（编辑）等人，《推理网络》。Web逻辑规则。2015年7月31日至8月4日，德国柏林，第11所国际暑期学校。辅导讲座。查姆：施普林格（ISBN 978-3-319-21767-3/pbk；978-3-3169-21768-0/ebook）。计算机科学讲义9203，32-74（2015）。
MSC公司：68T27型 03B35型 03B45号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}和\textit{B.Woltzenogel古}，莱克托。注释计算。科学。9203、32--74（2015年；Zbl 1358.68273）
全文： 内政部
尼克·苏尔塔纳;克里斯托夫·本兹穆勒;劳伦斯·C·鲍尔森。

证明和重建。 （英语） Zbl 1471.68319号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 256-271 (2015).
MSC公司：68伏15 03B16号
PDF格式BibTeX公司 XML格式引用
\textit{N.Sultana}等人，Lect。注释计算。科学。9322256-271（2015；Zbl 1471.68319）
全文： 内政部
克里斯托夫·本兹穆勒;古布鲁诺-沃尔岑洛格尔

在Coq证明助手中与模态逻辑交互。 （英语） Zbl 1465.03051号

Beklemishev，Lev D.（编辑）等人，《计算机科学——理论与应用》。2015年7月13日至17日，第十届俄罗斯国际计算机科学研讨会，CSR 2015，俄罗斯Listvyanka。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9139, 398-411 (2015).
MSC公司：03B35型 03B45号 68版本20
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}和\textit{B.W.古}，列克图。注释计算。科学。9139398--411（2015；Zbl 1465.03051）
全文： 内政部
克里斯托夫·本兹穆勒

验证模态逻辑立方体是一项简单的任务（对于高阶自动推理机）。 （英语） Zbl 1309.68166号

Siegler，Simon（编辑）等人，《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际，为他举行庆祝活动。柏林：施普林格出版社（ISBN 978-3-642-17171-0/pbk）。计算机科学课堂讲稿6463。人工智能课堂讲稿，117-128（2010）。
MSC公司：68吨15 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}，莱克特。注释计算。科学。6463、117--128（2010年；Zbl 1309.68166）
全文： 内政部
萨特克利夫，杰夫;克里斯托夫·本兹穆勒;Brown，Chad E。;泰斯，弗兰克

高阶逻辑自动定理证明的发展进展。 （英语） Zbl 1250.68236号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，116-130（2009）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{G.Sutcliffe}等人，Lect。注释计算。科学。5663、116--130（2009年；Zbl 1250.68236）
全文： 内政部
克里斯托夫·本兹穆勒;弗洛里安·拉贝;萨特克利夫，杰夫

THF0–用于高阶逻辑的TPTP语言的核心。 （英语） Zbl 1165.68447号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，491-506（2008）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}等人，Lect。注释计算。科学。5195、491--506（2008年；Zbl 1165.68447）
全文： 内政部
克里斯托夫·本兹穆勒;劳伦斯·C·鲍尔森。;泰斯，弗兰克;阿诺德·费茨克

LEO-II–用于经典高阶逻辑的合作自动定理证明器。（系统描述）。 （英语） Zbl 1165.68446号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。《人工智能课堂讲稿》，162-170（2008）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{C.Benzmüller}等人，Lect。注释计算。科学。5195、162--170（2008年；Zbl 1165.68446）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件