Automation of Reasoning: Classical Papers on Computational Logic 1957–1966
Editat de J. Siekmann et al.
10 ian 2012
Paperback
Preț: 635.90 lei 794.87 lei
6-8 săpt.
-20%
Cărți de J. Siekmann
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Autor Dov M. Gabbay et al.
17 mar 1994
Hardback
Preț: 2456.50 lei 4061.02 lei
43-48 zile
-40%