分析基础机器证明系统

分析基础机器证明系统

出版社：科学出版社

ISBN：9787030706713

出版年：2022

作者：郁文生

学科：数学

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

定理机器证明

作者：刘叙华
出版社：科学出版社
出版年：1987

高等数学证明300例分析

作者：陆君良等
ISBN：7810121278
出版社：北京航空航天大学出版社
出版年：1989

高等数学证明300 例分析

作者：陆君良等主编
出版社：北京航空航天大学出版社
出版年：1989

公理化集合论机器证明系统

作者：郁文生
ISBN：9787030640390
出版社：科学出版社
出版年：2020

二次互反律的傅里叶分析证明 :英文

ISBN：9787560389240
出版社：哈尔滨工业大学出版社
出版年：2020

机器证明的逻辑推定

作者：李娜
ISBN：9787030756244
出版社：科学出版社
出版年：2023