-
1
-
-
84874010526
-
-
[Autexier et al., 2002]
-
[Autexier et al., 2002] S. Autexier, D. Hutter, T. Mossakowski, and A. Schairer. The Development Graph Manager MAYA, 2002.
-
(2002)
The Development Graph Manager MAYA
-
-
Autexier, S.1
Hutter, D.2
Mossakowski, T.3
Schairer, A.4
-
2
-
-
84874010579
-
-
[CNX, 2006]. Project home page at, seen August
-
[CNX, 2006] CONNEXIONS. Project home page at http://www.cnx.org, seen August 2006.
-
(2006)
-
-
-
3
-
-
84874012511
-
-
[DocEng, 2006]. Web site at, seen April
-
[DocEng, 2006] The ACM Symposium on Document Engineering. Web site at http://www.documentengineering.org, seen April 2006.
-
(2006)
The ACM Symposium on Document Engineering
-
-
-
6
-
-
84874001394
-
An exploration in the space of mathematical knowledge
-
[Kohlhase and Kohlhase, 2005]. Michael Kohlhase, editor, Springer Verlag
-
[Kohlhase and Kohlhase, 2005] Andrea Kohlhase and Michael Kohlhase. An Exploration in the Space of Mathematical Knowledge. In Michael Kohlhase, editor, Mathematical Knowledge Management, MKM'05, number 3863 in LNAI. Springer Verlag, 2005.
-
(2005)
Mathematical Knowledge Management, MKM'05, Number 3863 in LNAI
-
-
Kohlhase, A.1
Kohlhase, M.2
-
7
-
-
84858929159
-
-
[Kohlhase, 2005]. Manuscript
-
[Kohlhase, 2005] Michael Kohlhase. Semantic markup for TEX/LATEX. Manuscript, available at http://kwarc.eecs.iu-bremen.de/software/stex, 2005.
-
(2005)
Semantic Markup for TEX/LATEX
-
-
Kohlhase, M.1
-
8
-
-
33745661790
-
OMDOC-An open markup format for mathematical documents [Version 1.2]
-
[Kohlhase, 2006]. Springer Verlag
-
[Kohlhase, 2006] Michael Kohlhase. OMDOC-An open markup format for mathematical documents [Version 1.2]. Number 4180 in LNAI. Springer Verlag, 2006.
-
(2006)
Number 4180 in LNAI
-
-
Kohlhase, M.1
-
9
-
-
84874002540
-
-
[Krieg-Brückner et al., 2004a]. Abschlussbericht, Universität Bremen, BMBF project 01NM070
-
[Krieg-Brückner et al., 2004a] B. Krieg-Brückner, B. Krämer, D. Basin, J. Siekmann, and M. Wirsing. Multimedia Instruction in Safe and Secure Systems. Abschlussbericht, Universität Bremen, 2004. BMBF project 01NM070, 2001-2004.
-
(2004)
Multimedia Instruction in Safe and Secure Systems
, pp. 2001-2004
-
-
Krieg-Brückner, B.1
Krämer, B.2
Basin, D.3
Siekmann, J.4
Wirsing, M.5
-
10
-
-
85027489001
-
Semantic interrelation of documents via an ontology
-
[Krieg-Brückner et al., 2004b]. G. Engels and S. Seehusen, editors, 6.-8. September 2004, Paderborn, Germany, volume P-52 of Lecture Notes in Informatics, Springer-Verlag; D-69121 Heidelberg, Germany
-
[Krieg-Brückner et al., 2004b] Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, and George Russell. Semantic interrelation of documents via an ontology. In G. Engels and S. Seehusen, editors, DeLFI 2004, Tagungsband der 2. e-Learning Fachtagung Informatik, 6.-8. September 2004, Paderborn, Germany, volume P-52 of Lecture Notes in Informatics, pages 271-282. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 2004.
-
(2004)
DeLFI 2004, Tagungsband der 2. E-Learning Fachtagung Informatik
, pp. 271-282
-
-
Krieg-Brückner, B.1
Lindow, A.2
Lüth, C.3
Mahnke, A.4
Russell, G.5
-
11
-
-
84873470933
-
A semantic wiki for mathematical knowledge management
-
[Lange and Kohlhase, 2006]. Max Völkel, Sebastian Schaffert, and Stefan Decker, editors, Budva, Montenegro, 2006. CEUR Workshop Proceedings. To appear, provisional online version
-
[Lange and Kohlhase, 2006] Christoph Lange and Michael Kohlhase. A semantic wiki for mathematical knowledge management. In Max Völkel, Sebastian Schaffert, and Stefan Decker, editors, Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006, Budva, Montenegro, 2006. CEUR Workshop Proceedings. To appear, provisional online version at http://www.eswc2006.org/technologies/usb/proceedings-workshops/ eswc2006-workshop-semantic-wikis.pdf.
-
Proceedings of the 1st Workshop on Semantic Wikis, European Semantic Web Conference 2006
-
-
Lange, C.1
Kohlhase, M.2
-
12
-
-
35048847110
-
Literate ontology development
-
[Mahnke and Krieg-Brückner, 2004]. Robert Meersman, Zahir Tari, and Angelo Corsaro et al., editors, Springer; Berlin
-
[Mahnke and Krieg-Brückner, 2004] A. Mahnke and B. Krieg-Brückner. Literate ontology development. In Robert Meersman, Zahir Tari, and Angelo Corsaro et al., editors, On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, volume 3292 of Lecture Notes in Computer Science, pages 753-757. Springer; Berlin; http://www.springer.de, 2004.
-
(2004)
On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops, Volume 3292 of Lecture Notes in Computer Science
, pp. 753-757
-
-
Mahnke, A.1
Krieg-Brückner, B.2
-
14
-
-
33644636474
-
Development graphs-proof management for structured specifications
-
[Mossakowski et al., 2006]
-
[Mossakowski et al., 2006] T. Mossakowski, S. Autexier, and D. Hutter. Development graphs-proof management for structured specifications. Journal of Logic and Algebraic Programming, 67(1-2):114-145, 2006.
-
(2006)
Journal of Logic and Algebraic Programming
, vol.67
, Issue.1-2
, pp. 114-145
-
-
Mossakowski, T.1
Autexier, S.2
Hutter, D.3
-
18
-
-
84874016405
-
Wissen managen
-
[Probst et al., 1997] edition, 1997
-
[Probst et al., 1997] G. Probst, St. Raub, and Kai Romhardt. Wissen managen. Gabler Verlag, 4 (2003) edition, 1997.
-
(2003)
Gabler Verlag
, vol.4
-
-
Probst, G.1
Raub, S.2
Romhardt, K.3
-
19
-
-
84874002240
-
-
[SVN, 2006]. Web site at, seen August
-
[SVN, 2006] The Subversion Project. Web site at http://subversion.tigris. org/, seen August 2006.
-
(2006)
The Subversion Project
-
-
|