×

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

基于Farkas的树插值。 (英语) Zbl 1474.68321号

Pichardie,David(编辑)等人,《静态分析》。第27届国际研讨会,SAS 2020,虚拟活动,2020年11月18日至20日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12389, 357-379 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SMTS:分布式可视化约束求解。 (英语) Zbl 1415.68197号

Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 534-542 (2018).
MSC公司:68T20型 68宽10 68宽15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于外观的SMT解决方案。 (英语) Zbl 1415.68193号

Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 418-434 (2018).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数组理论中加速关系的定义及其应用。 (英语) Zbl 1397.68121号

Fontaine,Pascal(编辑)等人,《组合系统的前沿》。2013年9月18日至20日,第九届国际研讨会,FroCoS,法国南希。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40884-7/pbk)。计算机科学课堂讲稿8152。《人工智能课堂讲稿》,23-39(2013)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段