Title |
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings |
|---|---|
Involved |
Johan Jeuring (Herausgeber)
John Campbell (Herausgeber) Jacques Carette (Herausgeber) Gabriel Dos Reis (Herausgeber)
Petr Sojka (Herausgeber)
Makarius Wenzel (Herausgeber) Volker Sorge (Herausgeber) AISC (11, 2012, Bremen) (Herausgebendes Organ) CICM (5., 2012, Bremen) (Herausgebendes Organ) |
Published |
Berlin, Heidelberg: Springer Berlin Heidelberg |
Extent |
Online-Ressource |
ISBN |
978-3-642-31374-5 |
Country |
|
Topic |
|
Subject |
Automatisches Beweisverfahren, Computeralgebra, Kongress, Bremen <2012> |
DDC notation |
|
Series |
Lecture Notes in Computer Science |
Other editions |
Erscheint auch als Druck-Ausgabe: Intelligent computer mathematics : 11th international conference ... ; proceedings |
Persistent identifier |
urn:nbn:de:1111-201206261264 (URN) |
Further information |
Lizenzpflichtig |
Record ID |
1023680475 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: