Enabling collaboration on semiformal mathematical knowledge by semantic web integration / [electronic resource]
Christoph Lange.
- 1 online resource (610 pages) : illustrations.
- Studies on the Semantic Web, Volume 011 1868-1158 ; .
- Studies on the Semantic Web ; v. 11. .