书籍介绍
图书目录
相关书籍
- 《定理机器证明》刘叙华，姜云飞编著 1987
- 《自动定理证明》石纯一编著 1989
- 《定理机器证明》刘叙华，姜云飞编著 1987
- 《自动定理证明》石纯一编著 1989
- 《符号逻辑与定理机器证明》张伟编著 1995
- 《符号逻辑与定理机器证明》张伟编著 1995
- 《费马大定理证明之研究》胡振武著 2007
- 《费马大定理证明之研究》胡振武著 2007
- 《平面几何定理的机器证明》孙熙椿著 1999
- 《平面几何定理的机器证明》孙熙椿著 1999
出版社其它书籍
