×

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

通过识别常见约束加快多面体分析。 (英语) 兹比尔1342.68102

Miné,Antoine(ed.)等人,第二届数字和符号抽象域国际研讨会论文集:NSAD 2010,法国佩皮尼昂,2010年9月13日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》267,第1期,127-138(2010)。
MSC公司:68号30 52B55号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段