Automated Theorem Proving: Theory and Practice Autor Monty Newborn 24 mai 2013 Paperback Preț: 696.48 lei 849.36 lei 6-8 săpt. -18%