×

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

关于时间逻辑和分离逻辑。 (英语) 兹比尔1487.68080

Alechina,Natasha(编辑)等人,第25届时间表征与推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第1条,第4页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反转有界模型检查的复杂性。 (英语) Zbl 1348.68121号

Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,71-86(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段