Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Editat de Leonardo de Moura
11 iul 2017
Paperback
Preț: 530.67 lei 663.34 lei
6-8 săpt.
-20%
Cărți de Leonardo de Moura
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Editat de Michael Kohlhase et al.
12 iul 2016
Paperback
Preț: 258.02 lei 322.52 lei
38-45 zile
-20%
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
Editat de Juliano Iyoda et al.
13 sep 2013
Paperback
Preț: 293.38 lei 366.72 lei
6-8 săpt.
-20%