TY  - BOOK
A2  - Christoph Lange.
AU  - Lange, Christoph.
NV  - XVIII, 592 s. :
PY  - 2011
SN  - 9783898386579
SN  - 9781607508403 (IOS Press)
TI  - Enabling collaboration on semiformal mathematical knowledge by semantic web integration /
VL  - vol. 011
ER  -