Mechanical Geometry Theorem Proving
โ Shang-Ching Chou
๐ Library
๐
1987
๐ Springer
๐ English
โฆ LIBER โฆ
๐
Mechanical geometry theorem proving
โ Scribed by Shang-Ching Chou
- Publisher
- D. Reidel Pub. Co.; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
- Year
- 1988
- Tongue
- English
- Leaves
- 187
- Series
- Mathematics and its applications
- Edition
- 1
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Mechanical Geometry Theorem Proving
โ Shang-Ching Chou
๐ Library
๐
1987
๐ Springer
๐ 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
๐
1987
๐ D. Reidel
๐ 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