Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics

Gespeichert in:

Personen und Körperschaften: Autexier, Serge (VerfasserIn), Calmet, Jacques (MitwirkendeR), Delahaye, David (MitwirkendeR), Ion, Patrick D. F. (MitwirkendeR), Rideau, Laurence (MitwirkendeR), Rioboo, Renaud (MitwirkendeR), Sexton, Alan P. (MitwirkendeR), ACM Special Interest Group on Symbolic & Algebraic Manipulation (MitwirkendeR)
Weitere Verfasser: Calmet, Jacques [MitwirkendeR] • Delahaye, David [MitwirkendeR] • Ion, Patrick D. F. [MitwirkendeR] • Rideau, Laurence [MitwirkendeR] • Rioboo, Renaud [MitwirkendeR] • Sexton, Alan P. [MitwirkendeR]
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer-Verlag 2010
Gesamtaufnahme: ACM Conferences
ACM Digital Library
Schlagwörter:
Quelle: Verbunddaten SWB
ISBN: 9783642141270