Hagenberg Research
Editat de Bruno Buchberger et al.
17 iun 2009
Hardback
Preț: 961.33 lei 1201.65 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.