Kohlhase, Michael, 1964-....
Kohlhase, Michael
Michael Kohlhase
Michael Kohlhase informaticien allemand
VIAF ID: 2721665 ( Personal )
Permalink: http://viaf.org/viaf/2721665
Preferred Forms
- 200 _ | ‡a Kohlhase ‡b Michael
-
-
-
-
- 100 1 _ ‡a Kohlhase, Michael ‡d 1964-
-
-
- 100 1 _ ‡a Kohlhase, Michael, ‡d 1964-
-
- 100 1 _ ‡a Kohlhase, Michael, ‡d 1964-....
- 100 0 _ ‡a Michael Kohlhase
- 100 0 _ ‡a Michael Kohlhase ‡c informaticien allemand
4xx's: Alternate Name Forms (13)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Artificial Intelligence. ECAI 2023 International Workshops : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II | |
Digitalisierung von Zivilprozess und Rechtsdurchsetzung | |
Higher order coloured unification and natural language semantics | |
Inference in computational semantics : Third Workshop on Inference in computational semantics, co-located with the International joint conference on Automated reasoning (IJCAR), ICoS-3, Siena, Italy, June 18-19, 2001 | |
Intelligent computer mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings | |
KI 2006 : advances in artificial intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006 : proceedings | |
Latex vers XML : un état des lieux | |
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers | |
MKM 2005 | |
OMDoc | |
OMDoc - an open markup format for mathematical documents [version 1.2] | |
Symbolic calculation and automated reasoning, 2001: | |
Towards a MIZAR Mathematical Library in OMDoc Format / Grzegorz Bancerek and Michael Kohlhase // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 265-275 |