![](/images/icons-large/icon-archival.png)
Showing 3 results
Archival descriptionCalculs de descriptions pour les systèmes formels inconsistants
Calculs de descriptions pour les systèmes formels inconsistants
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Remarques sur le système NF1
Remarques sur le système NF1