Details:
Title | Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. | Author(s) | | Type | Book, Chapter in Book, Conference Proceeding | ISBN | 3-540-31430-X/pbk |
URL |
http://link.springer.com/book/10.1007%2F11618027 |
Language | English | Pages | xi 405 | Publisher | Berlin: Springer | Year | 2006 | Editor | Michael Kohlhase | Edition | 0 | Translation |
No | Refereed |
No |
|