《Machine proofs in geometry : automated production of readable proofs for geometry theorems》

作者 编者
出版 World Scientific
参考页数 462
出版时间 1994（求助前请核对）
ISBN号 9810215843 — 求助条款
PDF编号 813185568（仅供预览，未存储实际文件）
求助格式 扫描PDF（若分多册发行，每次仅能受理1册）
Machine proofs in geometry : automated production of readable proofs for geometry theorems 1994 PDF电子版封面 9810215843

1994《Machine proofs in geometry : automated production of readable proofs for geometry theorems》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由 1994 World Scientific 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。

高度相关资料

ELEMENTS OF GEOMETRY（1896 PDF版）
ELEMENTS OF GEOMETRY
1896 AMERICAN BOOK COMPANY
ALGEBRA OF PROOFS（1978 PDF版）
ALGEBRA OF PROOFS
1978
Geometry of Aggregates（1957 PDF版）
Geometry of Aggregates
1957 Koninklyke Van Gorcum & Comp.
Types for Proofs and Programs（ PDF版）
Types for Proofs and Programs
GEOMETRY FOR THE CLASSROOM（1991年 PDF版）
GEOMETRY FOR THE CLASSROOM
1991年 SPRINGER
Geometry of manifolds（1964 PDF版）
Geometry of manifolds
1964 Academic Press
Comparison theorems in riemannian geometry（1975 PDF版）
Comparison theorems in riemannian geometry
1975 North-Holland Pub.Co.; American Elsevier Pub.Co
Problems in geometry（1984 PDF版）
Problems in geometry
1984 Springer-Verlag
Proofs and types（1997 PDF版）
Proofs and types
1997 Springer-Verlag
Introduction to mathematical structures and proofs（1996 PDF版）
Introduction to mathematical structures and proofs
1996 Jones and Bartlett Publishers
LECTURES IN GEOMETRY SEMETRY I ANALYTIC GEOMETRY（1982 PDF版）
LECTURES IN GEOMETRY SEMETRY I ANALYTIC GEOMETRY
1982 MIR PRB.
SET THEORY:AN INTRODUCTION TO INDEPENDENCE PROOFS（1980 PDF版）
SET THEORY:AN INTRODUCTION TO INDEPENDENCE PROOFS
1980 NORTH-HOLLAND PUBLISHING COMPANY-AMSTERDAM
GEOMETRY FOR ENGINEERS 1（1976 PDF版）
GEOMETRY FOR ENGINEERS 1
1976 CREATIVE PUBLISHING COMPNAY
FOUNDATIONS OF GEOMETRY（1964 PDF版）
FOUNDATIONS OF GEOMETRY
1964 MCGRAW-HILL
COORDINATES IN GEOMETRY（1953 PDF版）
COORDINATES IN GEOMETRY
1953 AUCKLAND UNIVERSITY COLLEGE

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD