Instantiation Theory: On the Foundations of Automated Deduction Lecture Notes in Computer Science, nr. 518 Autor James G. Williams 7 aug 1991 Paperback Preț: 312.79 lei 390.99 lei 6-8 săpt. -20%
