Hagenberg Research
Editat de Bruno Buchberger et al.
19 oct 2010
Paperback
Preț: 1001.86 lei 1252.34 lei
6-8 săpt.
-20%
Cărți de Wolfgang Windsteiger
Towards Mechanized Mathematical Assistants
Editat de Manuel Kauers et al.
19 iun 2007
Paperback
Preț: 398.92 lei
6-8 săpt.
Intelligent Computer Mathematics
Editat de Jacques Carette et al.
22 iul 2013
Paperback
Preț: 340.35 lei 425.44 lei
6-8 săpt.
-20%