几何定理机器证明的基本原理（初等几何部分）

￥98.00 100

北京经济网上书店 2024-10-24

几何定理机器证明的基本原理（初等几何部分）

￥98.00 100

中国建筑定额书店 2024-10-24

几何定理机器证明的基本原理（初等几何部分）

￥98.00 100

中国工程定额书店 2024-10-24

几何定理机器证明的基本原理（初等几何部分）

￥148.00 100

琍璇书阁 2024-09-21

几何定理机器证明的基本原理（初等几何部分）

￥105.00 95

听松庐 2023-06-13

几何定理机器证明的基本原理（初等几何部分）

￥90.00 95

矞来轩 2021-07-20

计算机科学丛书 几何定理机器证明的基本原理 一版一印

￥25.00 90

清风图书店 2024-08-21

几何定理机器证明的基本原理（初等几何部分）

￥88.00 90

清林书店 2024-07-17

几何定理机器证明的基本原理（初等几何部分）

￥98.00 100

博文古籍天下书店 2024-07-12

几何定理机器证明的基本原理（初等几何部分）

￥30.00 80

九层台书屋的书店 2024-07-01

几何定理机器证明的基本原理（初等几何部分）

￥30.00 80

篱苑书店 2024-07-01

几何定理机器证明的基本原理（初等几何部分）（一版一印）

￥20.00 85

锦江书苑 2024-06-01

中国科学技术经典文库.数学卷：几何定理机器证明的基本原理.初等几何部分（精装本）

￥136.00 85

兰馨书店 2022-01-03

几何定理机器证明的基本原理（初等几何部分）

￥307.00 100

筱雨文库 2024-05-01

几何定理机器证明的基本原理（初等几何部分）

￥78.00 90

亲湖书店 2023-07-28

几何定理机器证明的基本原理 一版一印

￥15.00 90

皖玉书店 2023-07-23

几何定理机器证明的基本原理（初等几何部分）

￥100.00 85

还梦楼的书摊 2023-02-26

几何定理机器证明的基本原理(初等几何部分)精装

￥50.00 90

鑫岳书店 2023-02-22

几何定理机器证明的基本原理初等几何部分 精装

￥18.00 80

青睐书店 2025-05-24

几何定理机器证明的基本原理 初等几何部分

￥22.00 85

永碧旧书店 2025-05-15

几何定理机器证明的基本原理初等几何部分精装

￥20.00 80

海上纸杂 2024-12-18

几何定理机器证明的基本原理（初等几何部分）

￥20.00 85

揽宝书屋 2024-11-12

几何定理机器证明的基本原理(著名数学家国家最高科技奖获得者吴文俊著作)品相见图一版一印

￥99.00 85

师道酬真 2020-08-07

几何定理机器证明的基本原理（初等几何部分）精装

￥27.00 85

史村书屋 2023-06-24

几何定理机器证明的基本原理(初等几何部分)

￥40.00 85

书林书店 2023-04-30

几何定理机器证明的基本原理（ 初等几何部分）（精装本）

￥60.00 85

熙琼书斋 2022-05-08

几何定理机器证明的基本原理

￥268.00 90

pecar书店 2021-03-29

几何定理机器证明的基本原理（初等几何部分）

￥18.00 90

移民古旧书店 2018-03-12

符号逻辑和定理的机器证明

￥98.00 85

临江镇书店 2021-11-09

符号逻辑和定理的机器证明

￥80.00 75

书之缘书屋 2023-07-28

ML80:A Structured Machine-Oriented Microcomputer Programming Language ML80语言：一种面向机器的结构化微机程序设计语言

￥51.00 85

花涧阁 2023-10-02

符号逻辑和定理的机器证明（英文版）影印

￥128.00 90

巴别书阁 2023-11-24

符号逻辑和定理的机器证明（英文版）【16开】

￥20.00 90

博古书苑2号店 2023-10-24

SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING 符号逻辑和定理的机器证明（英文版）

￥25.00 85

二楼旧书坊 2023-08-08

光明日报1980年8月15日（4开四版）超重元素的探索。 利用优势发展应用技术。 常州人民在想什么。 吴文俊利用机器证明数学定理有重要突破。 工业部门重视人力资源的开发。 安阳人民大道小学道德教育卓有成效。 提高话剧创作水平之一见。

￥20.00 90

环哲书城 2025-05-20

生日报四川日报1995年11月22日（4开八版）加大改革力度提高农村生产能力；干部变作风产业上规模仁寿社会稳定经济发展：在巩固深入落实上下功夫；全省劳服企业发展迈上新台阶；我省表彰一批关心下一代先进集体和个人；几何定理机器证明的开拓者

￥50.00 80

环哲书城 2022-03-22

非线性代数方程组与定理机器证明

￥9.00 90

美丽心情ehco的书店 2024-10-25

符号逻辑与定理机器证明

￥100.00 90

咖啡书店 2024-08-21

《现代化 1980 12》用机器来证明数学定理、世界地铁大观、计算机能有世界语吗？、我国轻 纺工业的科研将从哪里突破？、服装生产工业化是大势所趋、举世瞩目的空间实验室、微生物：植物的“特约医生”、传动带旁的工业机器人、海上新星——核动力舰船、自制太阳能热水器........

￥30.00 60

书痴书迷藏书楼 2024-07-07

中国科学院数学研究所：石赫旧藏资料一批，设计吴文俊等人，主要是手稿和翻译稿，资料， 石赫1939年2月出生于北京市，1962年参加工作，从事函数论研究，80年代后从事数学机械化研究。他在几何定理机器证明、多项式方程符号，石赫是我国最早从事数学机械化研究的学者之一, 曾任数学机械化研究中心副主任，数学机械化重点实验室学术委员会副主任，973项目课题负责人，为数学机械化事业的发展做出了重要贡献。

￥500.00 80

偶堂书画 2024-04-19

第二号“俄罗斯杀手”—— 一个挑战性的几何定理的人脑与机器证明的对比 稿共6页

￥99.00 85

沫若书店 2021-06-29

几何定理机器证明的原理和算法 张景中 稿12页

￥188.00 85

沫若书店 2020-08-31

定理的机器证明 吉林大学教授赵瑞清手稿

￥380.00 90

吉林文史书店 2022-01-19