Une sémantique pour le calcul C1
- BR SPCLEARQ FAIA-I-IT526
- Item
- 1976-06
Part of Ayda Ignez Arruda
COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.
Ayda Ignez Arruda
Showing 3 results
Archival description- BR SPCLEARQ FAIA-I-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.
Ayda Ignez Arruda
Calculs de descriptions pour les systèmes formels inconsistants
- BR SPCLEARQ FAIA-I-IT524
- Item
- 1964
Part of Ayda Ignez Arruda
COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.
Ayda Ignez Arruda