• SAT
  • Preuves automatiques
  • Ontologies des bases de données
  • Deep learning