( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings

, , и (Ред.) том 4314 из Lecture Notes in Computer Science, Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Michael Kohlhase

Michael Kohlhase

Michael Kohlhase

Michael Kohlhase

Michael Kohlhase

 

Другие публикации лиц с тем же именем

Erratum zu: Editorial., , , , , и . Datenbank-Spektrum, 21 (2): 171 (2021)Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management, , , , и . том 4108 из Lecture Notes in Computer Science, глава Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management, стр. 165--178. Springer Berlin / Heidelberg, (2006)OMDoc -- An open markup format for mathematical documents Version 1.2. Lecture Notes in Artificial Intelligence Springer Verlag, (августа 2006)Integrating Semantic Mathematical Documents and Dynamic Notebooks., , , и . CICM, том 11617 из Lecture Notes in Computer Science, стр. 275-290. Springer, (2019)Logic-Independent Proof Search in Logical Frameworks - (Short Paper)., , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 395-401. Springer, (2020)Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation., , и . CICM, том 11617 из Lecture Notes in Computer Science, стр. 28-43. Springer, (2019)L<Omega>UI: Lovely <Omega>MEGA User Interface., , , , , , , , , и 2 other автор(ы). Formal Aspects Comput., 11 (3): 326-342 (1999)GLIF: A Declarative Framework for Symbolic Natural Language Understanding., и . FCR@KI, том 2680 из CEUR Workshop Proceedings, стр. 4-11. CEUR-WS.org, (2020)Making Isabelle Content Accessible in Knowledge Representation Formats., , и . TYPES, том 175 из LIPIcs, стр. 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)The SMGloM Project and System., , , , , , и . CICM (Work in Progress), стр. 25-28. (2015)