Mechanical Geometry Theorem Proving
Autor Shang-Ching Chou
31 dec 1987
Hardback
Preț: 629.71 lei 787.15 lei
6-8 săpt.
-20%
Cărți de Shang-Ching Chou
Hygrothermoelasticity
Editat de George C. Sih et al.
30 sep 1986
Hardback
Preț: 1174.28 lei 1432.04 lei
6-8 săpt.
-18%
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
Autor Shang-Ching Chou et al.
apr 1994
Hardback
Preț: 1021.49 lei 1326.61 lei
Se retipărește
-23%