3
Mathematics mechanization and applications /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology
Group Author: Gao, Xiao-Shan; Wang, Dongming, 1961
Published: Academic Press,
Publication Dates: 2000.
eBook
Save to List
Saved in:
8
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:
9
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:
10
Mathematics mechanization and applications

Cover is for reference only
Group Author: Gao Xiao-shan.; Wang Dongming.
Published: Academic Press,
Publication Dates: c2000.
Call Number: O1/M426
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —