Correction de l'exercice: reconnaissance de propositions de même contenu en logique des prédicats
Mots clés : predicats quantificateurs
Informations
- Jean-Luc Gautero (jgautero@unice.fr)
- 8 décembre 2023 18:17
- Séquence de cours
- Français
- Licence
Nous utilisons des cookies pour personnaliser l’affichage (barre de menu de droite, mode sombre ou dyslexie etc.), gérer la session (authentification) et analyser le trafic du site (pour certaines instances).
Commentaire(s)