Computational Logic Editat de Dov M. Gabbay et al. 27 noi 2014 Hardback Preț: 1102.31 lei 1211.33 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ț: 404.48 lei 43-57 zile