Login / Signup

The Meaning of "Formal".

Pierre Wolper
Published in: ACM Comput. Surv. (1996)
Keyphrases
  • mathematical theory
  • natural language
  • formal methods
  • case study
  • preprocessing
  • formal model
  • database
  • computer vision