Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems Autor S-C Chou et al. apr 1994 Hardback Preț: 1072.66 lei 1393.06 lei Se retipărește -23%