×

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

具有整数差分约束的数组的无量词插值的重写和约束求解的组合。 (英语) 兹比尔1348.68123

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

面向阵列系统的SMT模型检查。 (英语) Zbl 1165.68406号

阿曼多、亚历山德罗(编辑)等,《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林:施普林格出版社(ISBN 978-3-540-71069-1/pbk)。计算机科学课堂讲稿5195。人工智能课堂讲稿,67-82(2008)。
MSC公司:60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段