‎Michael Kohlhase profile picture

‎Michael Kohlhase

Is this your author profile? Create an account to customize it!

Stand Alone

KI 2006
KI 2006 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings
Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium
Digitalisierung von Zivilprozess und Rechtsdurchsetzung
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Intelligent Computer Mathematics