Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Editat de Amy P. Felty et al.
30 iul 2015
Paperback
Preț: 332.44 lei 415.55 lei
6-8 săpt.
-20%
Amy P. Felty