Automated Deduction - CADE-25 Lecture Notes in Computer Science, nr. 9195 Editat de Amy P. Felty et al. 30 iul 2015 Paperback Preț: 341.01 lei 426.27 lei 6-8 săpt. -20%