7th International Conference on Automated Deduction: Proceedings Lecture Notes in Computer Science, nr. 170 Editat de R. E. Shostak 18 mai 1984 Paperback Preț: 632.69 lei 744.33 lei 6-8 săpt. -15%
