A language for mathematical language management

Steven Kieffer Jeremy Avigad Harvey Friedman

Published in: CoRR (2008)

Keyphrases

programming language
language learning
natural language
management system
multi agent
data mining
target language
language acquisition
real time
information retrieval
information systems
expert systems
specification language
operational semantics
english language
formal language