Using Sophisticated Models in Resolution Theorem Proving Lecture Notes in Computer Science, nr. 90 Autor David M. Sandford aug 1980 Paperback Preț: 328.14 lei 410.17 lei 6-8 săpt. -20%