Hagenberg Research
Editat de Bruno Buchberger et al.
19 oct 2010
Paperback
Preț: 958.14 lei 1197.68 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ț: 382.45 lei
43-57 zile
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
43-57 zile
-20%