×

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

最新的 引文 关联
弗拉基米尔·里巴科夫。；谢尔盖·五·巴本尼舍夫。

时态逻辑的混合{S} 4个_\mathrm{T}\）和具有交互代理的多代理逻辑。 （英语） Zbl 1472.68192号

J.兄弟。联邦大学数学系。物理。 1，第4号，399-409（2008）.
MSC公司：68T27型 03B42号 03B44号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit｛V.Rybakov｝和\textit｛S.V.Babenishev｝，J.兄弟。联邦大学数学系。物理。1，第4号，399--409（2008；Zbl 1472.68192）
全文： MNR公司
阿恩·迈尔；马丁·蒙德亨克；迈克尔·托马斯；赫里贝特·沃尔默

CTL和（text{CTL}^*\）片段可满足性的复杂性。 （英语） Zbl 1337.68134号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223201-213（2008）。
MSC公司：65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Meier}等人，《电子》。注释Theor。计算。科学。223201-213（2008年；兹bl 1337.68134）
全文： 内政部
奥尔加·特维雷蒂纳；威格·威瑟林克

EufDPLL–检查等式逻辑公式可满足性的工具。 （英语） Zbl 1336.68167号

Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，405-420（2009）。
MSC公司：60年第68季度 03B70号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{O.Tveretina}和\textit{W.Wesselink}，电子。注释Theor。计算。科学。225、405--420（2008年；Zbl 1336.68167）
全文： 内政部
卡尔·海因茨·佩内曼

一种用于逼近高阶条件的可满足性问题的算法。 （英语） Zbl 1283.68211号

König，Barbara（编辑）等人，第三届并发和验证图形转换研讨会论文集（GT-VC 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》213，第1期，75-94（2008）。
MSC公司：60年第68季度 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.-H.Pennemann}，电子。注释Theor。计算。科学。213，第1号，75--94（2008；Zbl 1283.68211）
全文： 内政部
约塞普·迪亚斯；Lefteris Kirousis公司；迪特尔·米采；泽维尔·佩雷兹·吉梅内斯

3-SAT的新上界。 （英语） Zbl 1248.68242号

Hariharan，Ramesh（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2008），2008年12月9日至11日，印度班加罗尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-08-8）。LIPIcs–莱布尼茨国际信息学论文集2163-174，仅电子版（2008年）。
MSC公司：65年第68季度 68T20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Díaz}等人，LIPIcs——莱布尼茨国际程序。通知。2163-174（2008年；Zbl 1248.68242）
全文： 内政部 链接
吉诺里·塔纳贝；高桥光一；Masami Hagiya

无交互模式计算的决策过程。 （英语） Zbl 1244.03074号

Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。341-362 (2008).
MSC公司：03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Tanabe}等人，in：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9-12日。伦敦：学院出版物。341-362（2008年；兹bl 1244.03074）
伊利亚州夏皮洛夫斯基

PSPACE-Japaridze的多模逻辑的可判定性。 （英语） Zbl 1244.03073号

Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。289-304 (2008).
MSC公司：03B45号 03B25号 2015年3月1日 03层45
PDF格式BibTeX公司 XML格式引用
\textit{I.Shapirovsky}，in：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9-12日。伦敦：学院出版物。289--304（2008；Zbl 1244.03073）
安德烈·阿诺德；伊戈尔·瓦卢基维奇

非确定性过程的非确定性控制器。 （英语） Zbl 1215.93082号

Flum，Jörg（编辑）等人，《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-576-6/pbk）。《逻辑与游戏文本2》，29-52（2008）。
MSC公司：93元65角 05年3月 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{A.Arnold}和\textit{I.Walukiewicz}，文本日志。游戏2，29-52（2008；Zbl 1215.93082）
穆罕默德·加森姆扎德；克里斯托夫·梅内尔

删除包含子句的运算符。 （英语） Zbl 1188.68271号

Sarbazi-Azad，Hamid（编辑）等人，《计算机科学与工程进展》，第13届国际CSI计算机会议，CSICC 2008，伊朗基什岛，2008年3月9日至11日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89984-6/pbk；978-3-440-89985-3/电子书）。《计算机与信息科学通信》6714-717（2008）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Ghasemzadeh}和\textit{C.Meinel}，Commun。计算。信息科学。6714-717（2008年；Zbl 1188.68271）
全文： 内政部
萨拉莎·萨塔西瓦姆

Hopfield网络的能源景观用计划条款编程。 （英语） Zbl 1157.68355号

Sahni，S.（编辑），《计算机科学与技术进展》。2008年4月2日至4日，马来西亚兰卡威，第四届国际可持续发展大会国际会议记录。卡尔加里：国际科学技术促进发展协会；加利福尼亚州阿纳海姆：Acta出版社（ISBN 978-0-88986-730-7/CD-ROM）。179-182 (2008).
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{S.Sathasivam}，收录于：《计算机科学与技术进展》。2008年4月2日至4日，马来西亚兰卡威，第四届国际可持续发展大会国际会议记录。卡尔加里：国际科学技术促进发展协会；加利福尼亚州阿纳海姆：Acta出版社。179-182（2008年；Zbl 1157.68355）
雷米·布罗赫宁；斯特凡·德姆里；艾蒂安·洛兹

在万能的魔杖上。 （英语） Zbl 1157.03010号

迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，323-338（2008）。
MSC公司：03B70号 03B25号 68号30 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Brochenin}等人，Lect。注释计算。科学。5213323-338（2008年；兹bl 1157.03010）
全文： 内政部 哈尔
Randal E.布莱恩特。

机房视图：符号模型检查的计算支持。 （英语） Zbl 1142.68430号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学课堂讲稿5000，145-149（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.E.Bryant}，莱克特。注释计算。科学。5000145-149（2008年；兹比尔1142.68430）
全文： 内政部 链接
谢尔盖·巴本尼舍夫；弗拉基米尔·雷巴科夫

基于线性时态逻辑LTL的局部公共知识混合逻辑的可判定性。 （英语） Zbl 1142.03323号

Beckmann，Arnold（编辑）等人，《逻辑与算法理论》。第四届欧洲可计算性会议，2008年6月15日至20日，希腊雅典，CiE 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69405-2/pbk）。计算机科学课堂讲稿5028，32-41（2008）。
MSC公司：03B25号 03B42号 03B44号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Babenyshev}和\textit{V.Rybakov}，Lect。注释计算。科学。5028，32-41（2008；Zbl 1142.03323）
全文： 内政部
多米尼克·舍德；菲利普·祖姆施泰因

有多少冲突是不可满足的？ （英语） Zbl 1138.68553号

Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，246-256（2008）。
MSC公司：68T20型 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{D.Scheder}和\textit{P.Zumstein}，莱克特。注释计算。科学。4996，246--256（2008年；Zbl 1138.68553）
全文： 内政部 链接
保时捷、斯特凡；埃瓦尔德·斯佩肯迈耶

推广精确线性公式的CNF类。 （英语） Zbl 1138.68550号

Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，231-245（2008）。
MSC公司：68T20型 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{S.Porschen}和\textit{E.Speckenmeyer}，莱克特。注释计算。科学。4996、231--245（2008年；Zbl 1138.68550）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件