Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Link-Resolver
Autor(en)
Carette, Jacques
Artikel
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Titel
Intelligent Computer Mathematics CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings /
Verlag
Springer International Publishing :
Ort
Cham :
Erscheinungsjahr
2014.
Es wurden folgende elektronische Volltexte gefunden