Ergebnisse zu
Algebra

Towards Mechanized Mathematical Assistants
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
von Manuel Kauers; Manfred Kerber; Robert Miner;..
Buch | Softcover
2007 | Springer Berlin
ISBN: 9783540730835
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen