Computational Logic Editat de Dov M. Gabbay et al. 28 noi 2014 Hardback Preț: 1104.02 lei 1213.21 lei 36-50 zile -9%
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings Lecture Notes in Computer Science, nr. 230 Editat de Jörg H. Siekmann iul 1986 Paperback Preț: 412.78 lei 43-57 zile