Michel Cayrol
IdRefMots clés
FR
Inférence
Calcul des propositions
Résolution de problème -- Informatique
Proposition (logique)
Systèmes experts (informatique)
Déduction (logique)
Intelligence artificielle
Vérité -- cohérence, Théorie de la -- thèses
Lexicographie -- Informatique
Langages de programmation -- Syntaxe
Cohérence (informatique)
CFAO, Systèmes de
Architecture navale
Langages de programmation orientés objet