Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies Handbook of Logic in Artificial Intelligence and Logic Programming Autor Dov M. Gabbay et al. 17 mar 1994 Hardback Preț: 2459.65 lei 4064.54 lei 44-50 zile -39%
Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 Symbolic Computation Editat de J. Siekmann et al. 10 ian 2012 Paperback Preț: 635.90 lei 794.87 lei 6-8 săpt. -20%