Automation of Reasoning: Classical Papers on Computational Logic 1957–1966
Editat de J. Siekmann et al.
10 ian 2012
Paperback
Preț: 648.08 lei 810.10 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ț: 2265.63 lei 3754.88 lei
32-37 zile
-40%