×

找到31个文档(结果1-31)

用于(mathrm{TPTL})和(mathrm)的单程和树形表格系统{TPTL}_b+\mathrm{过去}\)。 (英语) Zbl 1524.03015号

Orlandini,Andrea(编辑)等人,第九届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2018,德国萨尔布吕肯,2018年9月26日至28日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)277176-190(2018)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

分支时间?修剪时间到了! (英语) Zbl 1358.68193号

Gramlich,Bernhard(编辑)等人,《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议,IJCAR 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31364-6/pbk)。计算机科学课堂讲稿7364。《人工智能课堂讲稿》,393-407(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

将线性时间时序逻辑嵌入到无限逻辑中:应用于多智能体无限认知线性时间逻辑的简化。 (英语) Zbl 1250.03028号

Fisher,Michael(编辑)等人,《多智能体系统中的计算逻辑》。第九届国际研讨会,CLIMA IX,德国德累斯顿,2008年9月29日至30日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-02733-8/pbk)。计算机科学5405课堂讲稿。人工智能课堂讲稿,57-76(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

容错协议的时间验证。 (英语) Zbl 1234.68255号

Michael Butler(编辑)等人,容错方法、模型和工具。柏林:施普林格出版社(ISBN 978-3-642-00866-5/pbk)。计算机科学课堂讲稿5454,44-56(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型理论语法和解析:时态逻辑的应用。 (英语) Zbl 1263.68169号

Moss,Lawrence S.(编辑)等人,第六届形式语法会议和第七届语言数学会议联席会议记录,芬兰赫尔辛基,2001年8月10日至12日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记53,261-273(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份