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