- BR SPCLEARQ FAIA-Impr-IT525
- Item
- 1971-05
Part of Ayda Ignez Arruda
COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.
Untitled
Part of Ayda Ignez Arruda
Untitled
Calculs de descriptions pour les systèmes formels inconsistants
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
Part of Newton Carneiro Affonso da Costa