Computational Logic Editat de Dov M. Gabbay et al. 28 noi 2014 Hardback Preț: 1104.02 lei 1213.21 lei 5-7 săpt. -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 6-8 săpt.