Login / Signup

A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics.

Michael Kohlhase
Published in: CICM (2014)
Keyphrases