Keywords:
Publications of Michael Kohlhase
2007
| , and (eds.), KI 2006: Advances in Artificial Intelligence, Springer-Verlag Berlin, LNAI 4314, 2007 |
[URL] |
2006
| , , , and , Computational modeling of mental and external reasoning with sketches, in: Poster abstracts of 29th Annual German Conference on Artificial Intelligence (KI 2006), pages 1-3, Universität Bremen, 2006 |
|
| , and , Poster Abstracts, 29th Annual German Conference on Artificial Intelligence KI 2006, University of Bremen, 2006 |
2005
| and , Engineering Mathematical Knowledge, in: Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM05), Bremen, Germany, pages 250-266, Springer-Verlag Heidelberg, 2005 |
|