Print preview Close

Showing 3 results

Archival description
Ayda Ignez Arruda Newton Carneiro Affonso da Costa França English
Print preview View:
Remarques sur le système NF1
Remarques sur le système NF1
Calculs 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