Login / Signup

Une bibliothèque Coq pour le traitement des langues naturelles.

Houda Anoun
Published in: Tech. Sci. Informatiques (2007)
Keyphrases
  • formal methods
  • theorem prover
  • data model
  • knowledge representation
  • database systems
  • building blocks
  • software architecture