Automated Theorem Proving Autor Monty Newborn 15 dec 2000 Hardback Preț: 911.19 lei 1111.20 lei 6-8 săpt. -18%