Reset Filters
Filter Related Topics: 机器证明
Filter Related Topics within your search.
1
分析基础机器证明系统

Cover is for reference only
Main Authors: 郁文生 (郁文生，付尧顺，郭礼权著); 付尧顺; 郭礼权
Published: 科学出版社
Publication Dates: 2022
Call Number: O171/4202
Book
Save to List
Saved in:
2
公理化集合论机器证明系统

Cover is for reference only
Main Authors: 郁文生 (郁文生，孙天宇，付尧顺著); 孙天宇; 付尧顺
Published: 科学出版社
Publication Dates: 2020
Call Number: O144-39/4202
Book
Save to List
Saved in:
3
论初等几何定理的机器证明与消去法

Cover is for reference only
Main Authors: 朱望规 (朱望规著)
Published: 国防工业出版社
Publication Dates: 2016
Call Number: O123/2905
Book
Save to List
Saved in:
4
计算机怎样解几何题

Cover is for reference only
Main Authors: 张景中 (1936-) (张景中著)
Published: 湖北科学技术出版社
Publication Dates: 2016
Call Number: O123.1-49/1265-2
Book
Save to List
Saved in:
5
几何定理机器证明的几何不变量方法

Cover is for reference only
Main Authors: 张景中 (张景中，高小山，周咸青著); 高小山; 周咸青
Published: 科学出版社
Publication Dates: 2015
Call Number: O18-39/1265
Book
Save to List
Saved in:
6
不等式机器证明与自动发现

Cover is for reference only
Main Authors: 杨路 (杨路，夏壁灿著); 夏壁灿
Published: 科学出版社
Publication Dates: 2008
Call Number: O178-39/4961
Book
Save to List
Saved in:
7
计算机怎样解几何题 谈谈自动推理

Cover is for reference only
Main Authors: 张景中 (张景中著)
Published: 暨南大学出版社 清华大学出版社
Publication Dates: 2000
Call Number: TP181-49/1265
Book
Save to List
Saved in:
8
平面几何定理的机器证明

Cover is for reference only
Main Authors: 孙熙椿 (孙熙椿著)
Published: 广西教育出版社
Publication Dates: 1999
Call Number: O123.1-49/1474
Book
Save to List
Saved in:
9
几何定理机器证明的基本原理 初等几何部分

Cover is for reference only
Main Authors: 吴文俊 (吴文俊著)
Published: 科学出版社 2010重印
Publication Dates: 1984 2010重印
Call Number: O18-39/6802
Book
Save to List
Saved in:
10
机器证明的逻辑推定

Cover is for reference only
Main Authors: 李娜 (著)
Published: 科学出版社
Publication Dates: 2023
Call Number: O141/4444-3
Book
Save to List
Saved in:
11
身份基类哈希证明系统的构造及应用

Cover is for reference only
Main Authors: 周彦伟 (著)
Published: 西安电子科技大学出版社
Publication Dates: 2023
Call Number: TN918.4/7202
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —