Yazar
shang ching chou
4 cilt bulundu.
Cilt sonuçları
Machine proofs in geometry
Chou, Shang-Ching · World Scientific
461 sayfa · 1994
Axioms / Data processing / Automatic theorem proving / Geometry, data processing
Mechanical geometry theorem proving
Chou, Shang-Ching · D. Reidel Pub. Co.
362 sayfa · 1988
Automatic theorem proving / Geometry, differential
Machine Proofs in Geometry
Shang-Ching Chou, Jing-Zhong Zhang, X. -S Gao · World Scientific Publishing Co Pte Ltd
Sayfa sayısı yok · 1994
Geometry, data processing