| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev |
| Herausgeber: |
James Davenport, William Farmer, Florian Rabe, Joseph Urban |
| Titel: |
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics |
| Buch / Sammlungs-Titel: |
Proceedings of the Conferences on Intelligent Computer Mathematics (CICM 2011) |
| Serie / Reihe: |
Lecture Notes in Artificial Intelligence |
| Erscheinungsjahr: |
2011 |
| Verleger: |
Springer-Verlag Berlin Heidelberg |
| Schlagworte: |
conference |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
05. 05. 2011 |
|
 |
