Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540730835
Format: Paperback (407 pages) Publisher: Springer Published: 19 Jun 2007
Save for later
Algorithmische Methoden: Band 2: Funktionen, Matrizen, Multivariate Polynome (Mathematik Kompakt)
by Wolfgang Windsteiger, Philipp Kugler, Philipp K. Gler
ISBN 13: 9783764385156
Format: Paperback (160 pages) Publisher: Birkhauser Published: 28 May 2012
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
