Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Editat de Pascal Fontaine
21 aug 2019
Paperback
Preț: 525.90 lei 657.36 lei
6-8 săpt.
-20%
Cărți de Pascal Fontaine