Le moteur de recherche
des thèses françaises
Luis Fariñas del Cerro
IdRefMots clés
FR |
EN
Modalité (logique)
Raisonnement
Déduction (logique)
Intelligence artificielle
Programmation orientée objets (informatique)
Logique modale
Traduction automatique
Systèmes experts (informatique)
Informatique
Deduction
Théorèmes -- Démonstration automatique
Communication orale
Informatique -- Cognition
Raisonnement spatial qualitatif
Méréologie
Géométrie
Structure et forme d'objets
Topologie
Modélisation tridimensionnelle
Axiomatique