8th International Conference on Automated Deduction Editat de Jörg H. Siekmann iul 1986 Paperback Preț: 401.53 lei 6-8 săpt.