Showing 3 results

Archival description
Ayda Ignez Arruda Newton Carneiro Affonso da Costa Europa Brazilian Portuguese
Print preview View:
Calculs de descriptions pour les systèmes formels inconsistants
Calculs de descriptions pour les systèmes formels inconsistants
Remarques sur le système NF1
Remarques sur le système NF1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1