发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 17th IEEE Symposium on Computer Arithmetic (ARITH'05) - Cape Cod, MA, USA (27-29 June 2005)] 17th IEEE Symposium on Computer Arithmetic (ARITH'05) - Guaranteed Proofs Using Interval Arithmetic

[IEEE 17th IEEE Symposium on Computer Arithmetic (ARITH'05) - Cape Cod, MA, USA (27-29 June 2005)] 17th IEEE Symposium on Computer Arithmetic (ARITH'05) - Guaranteed Proofs Using Interval Arithmetic

Daumas, M.; Melquiond, G.; Munoz, C.

作者Daumas, M.; Melquiond, G.; Munoz, C.
文件大小142.19KB
发表时间2005
DOI10.1109/arith.2005.25
页码188-195

← 返回【学霸图书馆】主页