Enabling collaboration on semiformal mathematical knowledge by semantic web integration - Lange, Christoph (IOS Press AKA, 2011)
Description based on print version record