Keywords:
Publications of Michael Kohlhase
2007
KI 2006: Advances in Artificial Intelligence, Springer-Verlag Berlin, LNAI 4314, 2007 | , and (eds.),
[URL] |
2006
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 | , and ,
2005
Engineering Mathematical Knowledge, in: Proceedings of the 4th International Conference on Mathematical Knowledge Management (MKM05), Bremen, Germany, pages 250-266, Springer-Verlag Heidelberg, 2005 | and ,
|