Login / Signup

A Refinement of de Bruijn's Formal Language of Mathematics.

Fairouz KamareddineRob Nederpelt
Published in: J. Log. Lang. Inf. (2004)
Keyphrases
  • formal language
  • formal semantics
  • natural language interface
  • natural language
  • representation language
  • formal languages
  • query language
  • access control policies
  • artificial intelligence
  • domain knowledge