×

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

最新的 引文 关联
阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej）

带逆向的正则语法逻辑的ExpTime表决策过程。 （英语） Zbl 1244.03055号

双头螺栓日志。 98，第3期，387-428（2011）.
审核人：埃米利奥·穆尼奥斯·韦拉斯科（马拉加）
MSC公司：03B35型 03B45号 2017年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Nguyen}和\textit{A.Szałas}，Stud.Log。98，第3号，387--428（2011；Zbl 1244.03055）
全文： 内政部
拉杰夫·戈尔;克莱门斯·库普克;德克·帕丁森;卢茨·施罗德

用于联合描述逻辑的全局缓存。 （英语） 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）
全文： 内政部
阿巴特，彼得罗;拉杰夫·戈尔;弗洛里安·维德曼

基于动态表的PDL可满足性决策过程。 （英语） Zbl 1347.68298号

Areces，Carlos（ed.）等人，《第五届模态方法研讨会论文集》（M4M5 2007），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231191-209（2009）。
MSC公司：68吨15 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Abate}等人，《电子》。理论注释。计算。科学。231191--209（2009年；Zbl 1347.68298）
全文： 内政部
乔治·卡林

CoLoSS：合并逻辑可满足性求解器。 （英语） Zbl 1347.68300号

Areces，Carlos（ed.）等人，《第五届模态方法研讨会论文集》（M4M5 2007），法国卡尚，2007年11月29日至30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记231，41-54（2009）。
MSC公司：68吨15 03B35型 03B45号 03B62号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{G.Calin}，电子。理论注释。计算。科学。231、41-54（2009年；Zbl 1347.68300）
全文： 内政部
拉杰夫·戈尔;弗洛里安·维德曼

基于动态表的PDL可满足性最优决策过程。 （英语） Zbl 1250.03017号

Schmidt，Renate A.（编辑），《自动扣除——CADE-22》。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲义5663。人工智能课堂讲稿，437-452（2009）。
MSC公司：03B35型 03B25号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}和\textit{F.Widmann}，莱克特。注释计算。科学。56633437-452（2009年；兹bl 1250.03017）
全文： 内政部 链接
阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej）

正则语法逻辑与逆的表演算。 （英语） Zbl 1250.03020号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，421-436（2009）。
MSC公司：03B35型 03B45号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Nguyen}和\textit{A.Szałas}，Lect。注释计算。科学。5663、421--436（2009年；Zbl 1250.03020）
全文： 内政部
拉杰夫·戈尔;琳达·波斯尼埃斯

对\（\mathcal{ALC}\）的全局缓存的实验评估。（系统描述）。 （英语） Zbl 1165.68501号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，299-305（2008）。
MSC公司：68T27型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Goré}和\textit{L.Postniece}，莱克特。注释计算。科学。5195、299--305（2008；Zbl 1165.68501）
全文： 内政部
阿巴特，彼得罗;拉杰夫·戈尔;弗洛里安·维德曼

计算树逻辑的单程表。 （英语） Zbl 1137.03304号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。《人工智能课堂讲稿》，32-46（2007）。
MSC公司：03B35型 03B25号 03B44号 03B70号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{P.Abate}等人，Lect。注释计算。科学。4790，32-46（2007；Zbl 1137.03304）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件