BibSonomy publications for /author/Kohlhase http://www.bibsonomy.org/author/Kohlhase BibSonomy RSS Feed for /author/Kohlhase Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts. dblp http://www.bibsonomy.org/bibtex/227693ad666a53db628b6284cc7e5608c/dblp dblp 2008-11-03T00:00:00+01:00 dblp
Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts.
Christine Müller and Michael Kohlhase WSKS (1) 41-50 (2008)
to dblp by dblp on 2008-11-03 00:00:00
]]> Capturing the Content of Physics: Systems, Observables, and Experiments pub-list-hilf http://www.bibsonomy.org/bibtex/2b8a07e977c0d67bbbcbc5448153d54e6/hilf hilf 2008-09-18T17:28:48+02:00 imported
Capturing the Content of Physics: Systems, Observables, and Experiments
Eberhard R. Hilf and Michael Kohlhase and Heinrich Stamerjohanns Mathematical Knowledge Management, MKM'06 (2006)
to imported by hilf and 1 other person on 2008-09-18 17:28:48
]]> eLearning-, eTeaching- \& eResearch-Technologien -- Chancen und Potentiale für die Mathematik http://www.bibsonomy.org/bibtex/2c52047699bbc1c95fd15c9517f01e7dc/sabinajeschke sabinajeschke 2008-08-11T16:54:00+02:00 myown
eLearning-, eTeaching- \& eResearch-Technologien -- Chancen und Potentiale für die Mathematik
S. Jeschke and M. Kohlhase and R. Seiler DMV-Nachrichten (2004)
to myown by sabinajeschke on 2008-08-11 16:54:00
]]> Notations for Living Mathematical Documents. dblp http://www.bibsonomy.org/bibtex/232dc90757b6372702106a08951bf8745/dblp dblp 2008-08-04T00:00:00+02:00 dblp
Notations for Living Mathematical Documents.
Michael Kohlhase and Christine Müller and Florian Rabe AISC/MKM/Calculemus 504-519 (2008)
to dblp by dblp on 2008-08-04 00:00:00
]]> Transforming the arXiv to XML. dblp http://www.bibsonomy.org/bibtex/2759698adf69f015093d2ae6bca084d2f/dblp dblp 2008-08-04T00:00:00+02:00 dblp
Transforming the arXiv to XML.
Heinrich Stamerjohanns and Michael Kohlhase AISC/MKM/Calculemus 574-582 (2008)
to dblp by dblp on 2008-08-04 00:00:00
]]> KI 2006: Advances in Artificial Intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14--17, 2006, Proceedings http://www.bibsonomy.org/bibtex/2420373697c9b6810ec0003b842ff6262/flint63 flint63 2008-07-07T13:47:29+02:00 ai book conference springer v0805
KI 2006: Advances in Artificial Intelligence : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14--17, 2006, Proceedings
Christian Freksa and Michael Kohlhase and Kerstin Schill (eds.). (2007)
to ai book conference springer v0805 by flint63 and 1 other person on 2008-07-07 13:47:29
]]> Applying Unification Techniques to XML Document Management? http://www.bibsonomy.org/bibtex/2c6683bcdfcd845de38c2da46f2ec897b/sholsten sholsten 2008-06-10T15:29:53+02:00 imported
Applying Unification Techniques to XML Document Management?
Michael Kohlhase $17^th$ Workshop on Unification (2003)
to imported by sholsten on 2008-06-10 15:29:53
]]> \sc OMDoc -- An open markup format for mathematical documents [Version 1.2] http://www.bibsonomy.org/bibtex/29ce5478573f2c33bb07ec9f92fcdb7c0/sholsten sholsten 2008-06-10T15:29:53+02:00 imported
\sc OMDoc -- An open markup format for mathematical documents [Version 1.2]
Michael Kohlhase \sc OMDoc -- An open markup format for mathematical documents [Version 1.2] (2006)
to imported by sholsten on 2008-06-10 15:29:53
]]> OMDoc - An Open Markup Format for Mathematical Documents http://www.bibsonomy.org/bibtex/27d4808f9d59a506ffaad5728ffe7105d/sholsten sholsten 2008-06-10T15:29:53+02:00 imported
OMDoc - An Open Markup Format for Mathematical Documents
Michael Kohlhase (2006)
to imported by sholsten on 2008-06-10 15:29:53
]]> Code Markup Language http://www.bibsonomy.org/bibtex/28a9687d9b855e58572372bf23fcd5f6e/sholsten sholsten 2008-06-10T15:29:53+02:00 imported
Code Markup Language
{Michael Kohlhase} (2008)
to imported by sholsten on 2008-06-10 15:29:53
]]>