×

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

最新的 引文 关联
迈克尔·科尔哈斯;弗洛里安·拉贝;马卡里乌斯·温泽尔

以知识表示格式访问Isabelle内容。 （英语） Zbl 07756106号

Marc Bezem等人，第25届国际校样和程序类型会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。175，第1条，第24页（2020年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Kohlhase}等人，LIPIcs——莱布尼茨国际程序。通知。175，第1条，第24页（2020；Zbl 07756106）
全文： 内政部 arXiv公司
迈克尔·科尔哈斯;弗洛里安·拉贝;克劳迪奥·萨塞尔多蒂·科恩;简·弗雷德里克·谢弗

逻辑框架中与逻辑无关的证明搜索（短文）。 （英语） Zbl 07614524号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 395-401 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Kohlhase}等人，Lect。注释计算。科学。12166395--401（2020；Zbl 07614524）
全文： 内政部
穆勒，丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝

形式数学系统概念之间的对齐分类。 （英语） Zbl 1367.68309号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，83-98（2017）。
MSC公司：68立方英尺 68吨15 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{D.Müller}等人，Lect。注释计算。科学。10383、83-98（2017年；Zbl 1367.68309）
全文： 内政部 链接
保罗·奥利维尔，德哈耶;米尼亚·伊恩库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利耶夫尔;穆勒，丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;汤姆·威辛

OpenDreamKit项目中的互操作性：中间的方法。 （英语） Zbl 1344.68268号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。《人工智能讲义》，117-131（2016）。
MSC公司：68单位35 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{P.-O.Dehaye}等人，Lect。注释计算。科学。9791、117--131（2016年；Zbl 1344.68268）
全文： 内政部 arXiv公司
富利亚·霍罗扎尔;弗洛里安·拉贝

交换语言的形式逻辑定义。 （英语） Zbl 1417.68206号

Kerber，Manfred（编辑）等人，《智能计算机数学》。2015年国际会议，CICM，美国华盛顿特区，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 171-186 (2015).
MSC公司：68立方英尺 68T27型 68单位15
PDF格式BibTeX公司 XML格式引用
\textit{F.Horozal}和\textit{F.Rabe}，莱克特。注释计算。科学。9150171--186（2015；Zbl 1417.68206）
全文： 内政部
塞萨里·卡利西克;弗洛里安·拉贝

面向HOL Light的知识管理。 （英语） 兹比尔1304.68158

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，357-372（2014）。
MSC公司：68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}和\textit{F.Rabe}，莱克特。注释计算。科学。8543、357--372（2014；Zbl 1304.68158）
全文： 内政部
富利亚·霍罗扎尔;弗洛里安·拉贝;迈克尔·科尔哈斯

形式化数学的柔性算子。 （英语） Zbl 1304.68171号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，312-327（2014）。
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{F.Horozal}等人，Lect。注释计算。科学。8543312-327（2014年；兹比尔1304.68171）
全文： 内政部
米海·Codescu;富利亚·霍罗扎尔;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝;克里斯蒂娜·索雅科娃

面向异构工具集Hets中的逻辑框架。 （英语） 兹比尔1278.68286

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137139-159（2012）。
MSC公司：68T27型 03B40型 68问题65 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Codescu}等人，Lect。注释计算。科学。7137、139--159（2012年；Zbl 1278.68286）
全文： 内政部
米海·Codescu;富利亚·霍罗扎尔;迈克尔·科尔哈斯;蒂尔·莫萨科夫斯基;弗洛里安·拉贝

模型理论隐藏的证明理论解释。 （英语） Zbl 1278.68202号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137118-138（2012）。
MSC公司：68问题65 03B40型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Codescu}等人，Lect。注释计算。科学。7137、118--138（2012；Zbl 1278.68202）
全文： 内政部
富利亚·霍罗扎尔;弗洛里安·拉贝

在类型理论逻辑框架中表示模型理论。 （英语） Zbl 1291.03068号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第四次研讨会论文集》（LSFA 2009），巴西巴西利亚，2009年8月28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记256，49-65（2009）。
MSC公司：03B70号 03B10号机组 03C99号
PDF格式BibTeX公司 XML格式引用
\textit{F.Horozal}和\textit{F.Rabe}，电子。注释Theor。计算。科学。256，49-65（2009年；兹bl 1291.03068）
全文： 内政部
克里斯蒂娜·索雅科娃;弗洛里安·拉贝

将依赖型逻辑转换为一阶逻辑。 （英语） Zbl 1253.03100号

Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，326-341（2009）。
MSC公司：03G30型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{K.Sojakova}和\textit{F.Rabe}，莱克特。注释计算。科学。5486、326--341（2009年；Zbl 1253.03100）
全文： 内政部
贾纳·吉塞瓦;克里斯托夫·兰格;弗洛里安·拉贝

将web服务集成到活动数学文档中。 （英语） Zbl 1247.68314号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，279-293（2009）。
MSC公司：68单位35
PDF格式BibTeX公司 XML格式引用
\textit{J.Giceva}等人，Lect。注释计算。科学。5625279--293（2009年；Zbl 1247.68314）
全文： 内政部
克里斯托夫·本兹穆勒;弗洛里安·拉贝;杰夫·萨特克利夫

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格式引用
\文本{C.Benzmüller}等人，Lect。注释计算。科学。5195、491--506（2008年；Zbl 1165.68447）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件