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