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 43-57 zile -20%