( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logic-Independent Proof Search in Logical Frameworks - (Short Paper).

, , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 395-401. Springer, (2020)

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

 

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

OMDoc -- An open markup format for mathematical documents Version 1.2. Lecture Notes in Artificial Intelligence Springer Verlag, (августа 2006)GLIF: A Declarative Framework for Symbolic Natural Language Understanding., и . FCR@KI, том 2680 из CEUR Workshop Proceedings, стр. 4-11. CEUR-WS.org, (2020)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)The SMGloM Project and System., , , , , , и . CICM (Work in Progress), стр. 25-28. (2015)Integrating Semantic Mathematical Documents and Dynamic Notebooks., , , и . CICM, том 11617 из Lecture Notes in Computer Science, стр. 275-290. Springer, (2019)Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation., , и . CICM, том 11617 из Lecture Notes in Computer Science, стр. 28-43. Springer, (2019)Logic-Independent Proof Search in Logical Frameworks - (Short Paper)., , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 395-401. Springer, (2020)Making Isabelle Content Accessible in Knowledge Representation Formats., , и . TYPES, том 175 из LIPIcs, стр. 1:1-1:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)SWiM: A Semantic Wiki for Mathematical Knowledge Management, и . стр. 47--68. IGI Global, (апреля 2008)A Proof Theoretic Interpretation of Model Theoretic Hiding, , , , и . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, том 7137 из Lecture Notes in Computer Science, стр. 118-138. Springer, (2012)