×

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

基于BDD的平价游戏求解器的比较。 (英语) Zbl 1528.68235号

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

参数化布尔方程系统的静态分析技术。 (英语) Zbl 1234.68263号

Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505230-245(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化布尔方程系统的实例化。 (英语) Zbl 1161.68596号

Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。计算机科学课堂讲稿5160440-454(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化布尔方程系统的不变量。(扩展摘要)。 (英语) Zbl 1160.68446号

van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学讲义5201,187-202(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段