Hagenberg Research
Editat de Bruno Buchberger et al.
17 iun 2009
Hardback
Preț: 961.33 lei 1201.65 lei
43-57 zile
-20%
Cărți de Wolfgang Windsteiger
Towards Mechanized Mathematical Assistants
Editat de Manuel Kauers et al.
19 iun 2007
Paperback
Preț: 383.62 lei
43-57 zile
Intelligent Computer Mathematics
Editat de Jacques Carette et al.
22 iul 2013
Paperback
Preț: 327.27 lei 409.09 lei
43-57 zile
-20%