自动定理证明

自动定理证明

出版社：气象出版社

ISBN：7502902988

出版年：1989

作者：石纯一

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

定理机器证明

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

实定理的复证明

作者：拉克斯
ISBN：9787040470000
出版社：高等教育出版社
出版年：2017

基于时序逻辑的Resolution自动定理证明方法

作者：章岚
ISBN：9787563832668
出版社：首都经济贸易大学出版社
出版年：2021

几何定理自动证明与参数多项式方程组求解

作者：林隆
出版年：2006

一类不等式型定理可读证明的自动生成

作者：夏时洪
出版年：2002

素数定理的初等证明

作者：潘承彪
ISBN：9787560361529
出版社：哈尔滨工业大学出版社
出版年：2017