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