02103nam a2200481 i 4500 EBC1589013 MiAaPQ 20250821131224.0 m o d | cr cnu|||||||| 140125t20112011gw a ob 000 0 eng d 9781607508403 9781614993452 (electronic bk.) (MiAaPQ)EBC1589013 (Au-PeEL)EBL1589013 (CaPaEBR)ebr10827958 (CaONFJC)MIL559733 (OCoLC)867822088 MiAaPQ eng rda pn MiAaPQ MiAaPQ TK5105.888 .L372 2011 006.332 23 Lange, Christoph. 567267 Enabling collaboration on semiformal mathematical knowledge by semantic web integration / Christoph Lange. Heidelberg, Germany : IOS Press : AKA, 2011. 2011 1 online resource (610 pages) : illustrations. text rdacontent computer rdamedia online resource rdacarrier Studies on the Semantic Web, 1868-1158 ; Volume 011 Includes bibliographical references. Description based on print version record. Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. Knowledge representation (Information theory) 567268 Semantic Web. 567269 Mathematics. 34800 OMDoc (Document markup language) 567270 Electronic books. 35142 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. 9781607508403 2012360724 ProQuest (Firm) Studies on the Semantic Web ; v. 11. 567271 https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=1589013 Click to View 312791 312791