Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings Lecture Notes in Computer Science, nr. 7364 Editat de Bernhard Gramlich et al. 20 iun 2012 Paperback Preț: 335.29 lei 419.11 lei 6-8 săpt. -20%