| Publication type: |
Article in Proceedings |
| Author: |
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev |
| Editor: |
James Davenport, William Farmer, Florian Rabe, Joseph Urban |
| Title: |
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics |
| Book / Collection title: |
Proceedings of the Conferences on Intelligent Computer Mathematics (CICM 2011) |
| Series: |
Lecture Notes in Artificial Intelligence |
| Year published: |
2011 |
| Publisher: |
Springer-Verlag Berlin Heidelberg |
| Keywords: |
conference |
| Status: |
Reviewed |
| Last updated: |
05. 05. 2011 |
|
 |
