Reset Filters
Author: Chou,Shang-Ching
Filter Related Topics within your search.
1
Machine proofs in geometry automated production of readable proofs for geometry theorems

Cover is for reference only
Main Authors: Chou Shang-Ching 1946-
Group Author: Gao Xiao-shan; Chang Ching-chung 1936-
Published: World Scientific,
Publication Dates: c1994.
Call Number: O18-39/C552/
Book
Save to List
Saved in:
2
Machine proofs in geometry

Cover is for reference only
Main Authors: Chou Shang-Ching
Group Author: Gao Xiao-shan
Published:
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —