Showing 36 results

Archival description
Paris English
Print preview View:

3 results with digital objects Show results with digital objects

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
Logique sans igalité et (k,p)-quasivalence
Logique sans igalité et (k,p)-quasivalence
Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
Joaquim da Costa Ribeiro
Results 31 to 36 of 36