Aucune information sur les auteurs de paratexte n'a été enregistrée pour ce document
Aucune élément de paratexte n'a été enregistré pour ce document
Résumé
Français
1, Introduction; 2, Langage et sémantique; 3, Axiomatique; 4, Mise en forme normale; 5, Correction et complétude; 6, Déduction automatique dans ASSUME; 7, La représentation du changement dans ASSUME; 8, Discussion.
Mots-clés
Nous utilisons Matomo pour analyser l’usage de notre site sans vous identifier personnellement (adresse IP anonymisée). Cette analyse est réalisée dans le cadre d’une étude, sans but lucratif. Vous pouvez accepter ou refuser cette analyse.
En savoir plus.
