Mechanical Geometry Theorem Proving
โ Shang-Ching Chou
๐ Library
๐
1987
๐ Springer
๐ English
โฆ LIBER โฆ
๐
Mechanical Geometry Theorem Proving
โ Scribed by Shang-Ching Chou
- Publisher
- Springer
- Year
- 1987
- Tongue
- English
- Leaves
- 374
- Series
- Mathematics and Its Applications (closed)
- Edition
- 1987
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Mechanical geometry theorem proving
โ Shang-Ching Chou
๐ Library
๐
1988
๐ D. Reidel Pub. Co.; Sold and distributed in the U.
๐ English
Mechanical geometry theorem proving
โ Shang-Ching Chou
๐ Library
๐
1987
๐ D. Reidel
๐ English
Mechanical geometry theorem proving
โ Shang-Ching Chou
๐ Library
๐
1988
๐ D. Reidel Pub. Co.; Sold and distributed in the U.
๐ English
Mechanical Geometry Theorem Proving
โ Shang-Ching Chou
๐ Library
๐
1988
๐ D. Reidel Pub. Co.; Sold and distributed in the U.
๐ English
Mathematics Mechanization: Mechanical Ge
โ Wu Wen-tsun
๐ Library
๐
2001
๐ Springer
๐ English