Eintrag weiter verarbeiten
Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Gespeichert in:
Personen und Körperschaften: | , , , , , , , |
---|---|
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
|