×

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

关于决策程序中的插值。 (英语) Zbl 1331.68198号

Brünnler,Kai(编辑)等人,使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22118-7/pbk)。计算机科学课堂讲稿6793。人工智能课堂讲稿,1-16(2011)。
MSC公司:第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可满足模线性整数算法中的高效插值生成。 (英语) Zbl 1315.68179号

Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605143-157(2011)。
MSC公司:60年第68季度 03B25号 03C40 第68页第15页
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段