Article
- Pages: 195 to 204
- ISBN: 2-86601-461-8
- ISSN: 0988-0569
- Creation date: 04-01-2011
- Last update: 04-01-2011
Abstract
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.