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