Article
- Dans MÉTHODES LOGIQUES POUR LES SCIENCES COGNITIVES - 1995
- Pages : 195 à 204
- ISBN : 2-86601-461-8
- ISSN : 0988-0569
- Date de création : 04-01-2011
- Dernière mise à jour : 04-01-2011
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.