Using Sophisticated Models in Resolution Theorem Proving Autor David M. Sandford aug 1980 Paperback Preț: 320.14 lei 400.17 lei 6-8 săpt. -20%