Scientific Computing with Automatic Result Verification

ISBN: 9780120442102 出版年:1992 页码:625 Academic Press_RM

知识网络
知识图谱网络
内容简介

Scientific Computing with Automatic Result Verification

Amazon评论 {{comment.person}}

{{comment.content}}

作品图片
推荐图书