( en | de | ru )

 

Disambiguierung von "Kohlhase, Michael"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning Support Systems Based on Mathematical Knowledge Management.

, , , , , und . CICM, Volume 14101 von Lecture Notes in Computer Science, Seite 84-97. Springer, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael Kohlhase

Michael Kohlhase

Michael Kohlhase

Michael Kohlhase

Michael Kohlhase

 

Weitere Publikationen von Autoren mit dem selben Namen

OMDoc -- An open markup format for mathematical documents Version 1.2. Lecture Notes in Artificial Intelligence Springer Verlag, (August 2006)Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management, , , , und . Volume 4108 von Lecture Notes in Computer Science, Kapitel Capturing the Content of Physics: Systems, Observables, and ExperimentsMathematical Knowledge Management, Seite 165--178. Springer Berlin / Heidelberg, (2006)Logic-Independent Proof Search in Logical Frameworks - (Short Paper)., , , und . IJCAR (1), Volume 12166 von Lecture Notes in Computer Science, Seite 395-401. Springer, (2020)Integrating Semantic Mathematical Documents and Dynamic Notebooks., , , und . CICM, Volume 11617 von Lecture Notes in Computer Science, Seite 275-290. Springer, (2019)Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation., , und . CICM, Volume 11617 von Lecture Notes in Computer Science, Seite 28-43. Springer, (2019)The SMGloM Project and System., , , , , , und . CICM (Work in Progress), Seite 25-28. (2015)GLIF: A Declarative Framework for Symbolic Natural Language Understanding., und . FCR@KI, Volume 2680 von CEUR Workshop Proceedings, Seite 4-11. CEUR-WS.org, (2020)Making Isabelle Content Accessible in Knowledge Representation Formats., , und . TYPES, Volume 175 von LIPIcs, Seite 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)OMDoc - An Open Markup Format for Mathematical Documents. Springer, (2006)A Proof Theoretic Interpretation of Model Theoretic Hiding, , , , und . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Volume 7137 von Lecture Notes in Computer Science, Seite 118-138. Springer, (2012)