大拱桥--暨南大学学生门户 » 图书馆 » (分类号:O122.2-39)(共1本)
![]() |
方程求解与机器证明 : 基于MMP的问题求解0索取号:O122.2-39/20071 作者:高小山、王定康、裘宗燕、杨宏、 出版社:北京 : 科学出版社, 2006 |
![]() |
|
![]() |
方程求解与机器证明 : 基于MMP的问题求解0索取号:O122.2-39/20071 作者:高小山、王定康、裘宗燕、杨宏、 出版社:北京 : 科学出版社, 2006 |
© Copyright 大拱桥--暨南大学学生门户 • Atom Feed • 粤ICP备17135490号
Last Updated On 20150305 By Carbon Forum (联系我)
Processed in 1.405 ms, 7 queries, Memory usage: 2048 KBytes
粤公网安备 44030602003680号