Mechanical Geometry Theorem Proving
Autor Shang-Ching Chou
31 dec 1987
Hardback
Preț: 676.01 lei 845.01 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ț: 1259.51 lei 1535.98 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ț: 1054.00 lei 1368.83 lei
Se retipărește
-23%