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ț: 1178.43 lei 1437.11 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.84 lei 1327.07 lei
Se retipărește
-23%