方程求解与机器证明:基于MMP的问题求解

当前位置:首页 > 自然科学 > 数学 > 方程求解与机器证明:基于MMP的问题求解

• 版 次：1
• 页 数：
• 字 数：
• 印刷时间：2006年09月01日
• 开 本：
• 纸 张：胶版纸
• 包 装：精装
• 是否套装：否
• 国际标准书号ISBN：9787030178626
• 丛书名：数学机械化丛书

作者:高小山 等著出版社:科学出版社出版时间:2006年09月