Computational Logic Editat de Dov M. Gabbay et al. 28 noi 2014 Hardback Preț: 1136.58 lei 1248.99 lei 36-50 zile -9%
8th International Conference on Automated Deduction Editat de Jörg H. Siekmann iul 1986 Paperback Preț: 400.30 lei 43-57 zile