Meaning and Formalism in Mathematics.

Published in: Int. J. Comput. Math. Learn. (2000)

Keyphrases

natural language
knowledge representation
computer science
formal logic
situation calculus
computational properties
conceptual graphs
semantic interpretation
mathematical theory
formal theory
information retrieval
expert systems
semantic web
operational semantics
electrical engineering