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

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