5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 Lecture Notes in Computer Science, nr. 87 Editat de Wolfgang Bibel et al. iun 1980 Paperback Preț: 386.36 lei 6-8 săpt.
