Filtre: Paperback

Cărți de Leonardo de Moura

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10395

Editat de Leonardo de Moura

11 iul 2017

Preț: 525^.26 lei 656^.58 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9791

Editat de Michael Kohlhase et al.

12 iul 2016

Preț: 279^.19 lei 348^.98 lei

38-44 zile

-20%