Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 Symbolic Computation Editat de J. Siekmann et al. 10 ian 2012 Paperback Preț: 661.47 lei 826.83 lei 6-8 săpt. -20%
