It looks like you're offline.
Donate
♥
English
العربية
Azərbaycanca
Čeština
Deutsch
English
Español
Français
हिंदी
Hrvatski
Italiano
한국어
Português
Română
Sardu
తెలుగు
Українська
中文
Filipino
My Books
Browse
Subjects
Browse books by topic
Trending
Most popular right now
Library Explorer
Browse the virtual shelves
Lists
Reader-curated collections
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Search
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Subjects
Browse books by topic
Trending
Most popular right now
Library Explorer
Browse the virtual shelves
Lists
Reader-curated collections
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited anonymously
April 1, 2008 |
History
Edit
Chou, Shang-Ching
Born
1946
1 work
Add another?
Preview
Machine proofs in geometry: automated production of readable proofs for geometry theorems
by
Chou, Shang-Ching
First published in 1994
1 edition
,
1 ebook
Nearby Libraries
Born
1946
Subjects
Automatic theorem proving
Axioms
Data processing
Geometry, data processing
ID Numbers
OLID: OL576759A
Links
outside Open Library
No links yet.
Add one
?
Download catalog record:
RDF
/
JSON
