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.
16 mar 1994
Hardback
Preț: 2769.56 lei 3461.96 lei
6-8 săpt.
-20%