Login / Signup

Expressing the Notion of a Mathematical Structure in the Formal Language of Mizar.

Adam Grabowski
Published in: ICMMI (2017)
Keyphrases
  • formal language
  • artificial intelligence
  • natural language
  • software engineering
  • background knowledge
  • life cycle