9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings Lecture Notes in Computer Science, nr. 310 Editat de Ewing Lusk et al. 4 mai 1988 Paperback Preț: 638.96 lei 751.71 lei 6-8 săpt. -15%
