Automated Reasoning Lecture Notes in Computer Science, nr. 10900 Editat de Didier Galmiche et al. iul 2018 Paperback Preț: 344.91 lei 431.14 lei 6-8 săpt. -20%