摘要：自适应数字核心的设计和验证
作者：Sylvie Boldo, Marc Daumas, Claire Moreau-Finot, Laurent Thery
论文ID：cs/0107025
分类：Mathematical Software
分类简称：cs.MS
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中