×

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

最新的 引文 关联
来自阿斯塔·哈尔克;帕特里克·布莱克本;约根·维拉德森

形式化混合逻辑的塞利格曼式表格系统（短文）。 （英语） Zbl 07614529号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 474-481 (2020).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{A.H.From}等人，Lect。注释计算。科学。12166474-481（2020年；兹bl 07614529）
全文： 内政部
雷娜特·施密特（Renate A.Schmidt）。;乌韦·沃尔德曼

具有阻塞和同余闭包的模态表系统。 （英语） Zbl 1471.03018号

De Nivelle，Hans（编辑），分析表的自动推理和相关方法。第24届国际会议，TABLEUX 2015，波兰弗罗茨瓦夫，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 38-53 (2015).
MSC公司：03B35型 03B25号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{R.A.Schmidt}和\textit{U.Waldmann}，Lect。注释计算。科学。9323，38--53（2015；Zbl 1471.03018）
全文： 内政部 链接
卡洛斯·阿雷塞斯;帕斯卡·方丹;斯蒂芬·默兹

通过SMT求解的模态可满足性。 （英语） Zbl 1453.03015号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 30-45 (2015).
MSC公司：03B45号 03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{C.Areces}等人，Lect。注释计算。科学。8950，30--45（2015；Zbl 1453.03015）
全文： 内政部 哈尔
马克·卡明斯基;托马斯·施耐德;格特·斯莫尔卡

模态和混合逻辑的Pratt型决策程序的正确性和最坏情况优化。 （英语） Zbl 1333.03008号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。《人工智能课堂讲稿》，196-210（2011）。
MSC公司：03B45号 03B35型 03B62号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Kaminski｝等人，Lect。注释计算。科学。6793196-210（2011年；兹bl 1333.03008）
全文： 内政部
塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶

一种基于表格的决策程序，用于一类带有粘合剂的混合公式。 （英语） Zbl 1331.68200号

Brünnler，Kai（编辑）等人，使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。计算机科学课堂讲稿6793。人工智能课堂讲稿，104-118（2011）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{S.Cerrito}和\textit{M.Cialdea Mayer}，莱克特。注释计算。科学。6793，104-118（2011；Zbl 1331.68200）
全文： 内政部
延斯·乌尔里克·汉森

动态认知逻辑的终止表。 （英语） Zbl 1345.03029号

Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》262141-156（2010）。
MSC公司：03B42号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.U.Hansen}，电子。理论注释。计算。科学。262141-156（2010年；Zbl 1345.03029）
全文： 内政部
玛尔塔·恰尔迪亚·梅耶;塞里托、塞雷内拉

希律和彼拉多：两个基本混合逻辑的表格证明。 （英语） Zbl 1291.68333号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，255-262（2010）。
MSC公司：68吨15 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.Cialdea Mayer}和\textit{S.Cerrito}，莱克特。注释计算。科学。6173255-262（2010年；Zbl 1291.68333）
全文： 内政部
马克·卡明斯基;格特·斯莫尔卡

带有事件的混合逻辑的终止表。 （英语） Zbl 1291.03019号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，240-254（2010）。
MSC公司：03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.卡明斯基}和\textit{G.斯莫尔卡}，莱克特。注释计算。科学。6173240-254（2010年；Zbl 1291.03019）
全文： 内政部
拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德

用于联合描述逻辑的全局缓存。 （英语） Zbl 1291.03017号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，46-60（2010）。
MSC公司：03B35型 03B45号 68吨15 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}等人，Lect。注释计算。科学。6173，46-60（2010；Zbl 1291.03017）
全文： 内政部
德米特里·苏斯特列托夫;纪尧姆·霍夫曼;卡洛斯·阿雷塞斯;帕特里克·布莱克本

拓扑混合逻辑的定理证明实验。 （英语） Zbl 1347.68308号

Areces，Carlos（ed.）等人，《第五届模态方法研讨会论文集》（M4M5 2007），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，309-321（2009）。
MSC公司：68吨15 03B45号 03B62号
PDF格式BibTeX公司 XML格式引用
\textit{D.Sustretov}等人，《电子》。理论注释。计算。科学。231309--321（2009年；Zbl 1347.68308）
全文： 内政部
马克·卡明斯基;格特·斯莫尔卡

用于不同模态的混合表格。 （英语） Zbl 1347.03044号

Areces，Carlos（ed.）等人，《第五届模态方法研讨会论文集》（M4M5 2007），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231241-257（2009）。
MSC公司：03B45号 03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.卡明斯基}和\textit{G.斯莫尔卡}，电子。理论注释。计算。科学。231、241--257（2009年；Zbl 1347.03044）
全文： 内政部
托马斯·博兰德

扩展K的混合逻辑的终止表计算。 （英语） Zbl 1347.03039号

Areces，Carlos（ed.）等人，《第五届模态方法研讨会论文集》（M4M5 2007），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，21-39（2009）。
MSC公司：03B45号 03B35型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Bolander}，电子。理论注释。计算。科学。231、21-39（2009年；Zbl 1347.03039）
全文： 内政部
纪尧姆·霍夫曼

HTab：用于混合逻辑的终止表辅助系统。 （英语） 兹比尔1347.68301

Areces，Carlos（ed.）等人，《第五届模态方法研讨会论文集》（M4M5 2007），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，3-19（2009）。
MSC公司：68吨15 03B35型 03B45号 03B62号 68甲18 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{G.霍夫曼}，电子。理论注释。计算。科学。231、3--19（2009年；Zbl 1347.68301）
全文： 内政部
罗伯·迈尔斯;德克·帕丁森;卢茨·施罗德

协代数混合逻辑。 （英语） Zbl 1234.03020号

de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504137-151（2009）。
MSC公司：03B70号 03B45号 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{R.Myers}等人，Lect。注释计算。科学。5504137--151（2009年；Zbl 1234.03020）
全文： 内政部
马克·卡明斯基;格特·斯莫尔卡

具有差模态和逆模态的混合逻辑的终止表。 （英语） Zbl 1165.03317号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，210-225（2008）。
MSC公司：03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{M.卡明斯基}和\textit{G.斯莫尔卡}，莱克特。注释计算。科学。5195210-225（2008年；兹bl 1165.03317）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件