Search results for: Michael Kohlhase
Optical and Quantum Electronics > 2018 > 50 > 2 > 1-9
Lecture Notes in Computer Science > The Semanic Web: Research and Applications > Demo Track > 471-475
Lecture Notes in Computer Science > OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] > An OMDoc Primer > 75-79
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Mathematical Knowledge Management 2011 > 212-227
Lecture Notes in Computer Science > Towards Mechanized Mathematical Assistants > Contributions to MKM 2007 > 356-370
Lecture Notes in Computer Science > OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] > OMDoc Applications, Tools, and Projects > 235-240
Lecture Notes in Computer Science > OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] > The OMDoc Document Format > 187-200
Lecture Notes in Computer Science > Mathematical Knowledge Management > Contributed Papers > 179-193
Lecture Notes in Computer Science > Emerging Technologies and Information Systems for the Knowledge Society > Track I: Social and Humanistic Computing for the Knowledge Society: Emerging Technologies and Systems for the Society and the Humanity > 41-50
Lecture Notes in Computer Science > OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] > The OMDoc Document Format > 133-154
Lecture Notes in Computer Science > Intelligent Computer Mathematics > Contributions to MKM 2010 > 355-369
Lecture Notes in Computer Science > OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] > The OMDoc Document Format > 97-105
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Invited Papers > 32-52