Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Jean-Michel Richer

Mots clés

FR

Intelligence artificielle

Théorèmes -- Démonstration automatique

Contraintes (intelligence artificielle)

Programmation logique

Calcul des prédicats