Studies on the Semantic Web, ISSN 1868-1158 ; Volume 011
Print version: Lange, Christoph. Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Heidelberg, Germany : IOS Press : AKA, c2011 xviii, 592 pages Studies on the Semantic Web ; Volume 011. ISBN 9781607508403