Automated Theorem Proving Autor Monty Newborn 24 mai 2013 Paperback Preț: 705.39 lei 860.24 lei 6-8 săpt. -18%