TY  - BOOK
AU  - Lange,Christoph
TI  - Enabling collaboration on semiformal mathematical knowledge by semantic web integration
T2  - Studies on the Semantic Web,
AV  - TK5105.888 .L372 2011eb
U1  - 006.332 23
PY  - 2011///
CY  - Heidelberg, Germany
PB  - IOS Press, AKA
KW  - Knowledge representation (Information theory)
KW  - Semantic Web
KW  - Mathematics
KW  - OMDoc (Document markup language)
KW  - Electronic books
N1  - Includes bibliographical references
UR  - http://site.ebrary.com/lib/rucke/Doc?id=10827958
ER  -