7th International Conference on Automated Deduction: Proceedings Lecture Notes in Computer Science, nr. 170 Editat de R. E. Shostak 18 mai 1984 Paperback Preț: 651.34 lei 766.28 lei 43-57 zile -15%
