Login / Signup
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.
Serge Autexier
Armin Fiedler
Thomas Neumann
Marc Wagner
Published in:
Calculemus/MKM (2007)
Keyphrases
</>
user defined
management system
data types
information retrieval
complex systems
databases
expert systems
data model
query processor
database
artificial intelligence
scientific literature