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ț: 382.45 lei
6-8 săpt.
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Editat de Jacques Carette et al.
22 iul 2013
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%