Une sémantique pour le calcul C1
- BR SPCLEARQ FAIA-I-IT526
- Item
- 1976-06
Parte deAyda 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
Mostrando 6 resultados
Descrição arquivística- BR SPCLEARQ FAIA-I-IT525
- Item
- 1971-05
Parte deAyda 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
Parte deAyda 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
Introduction: A Short History of the Latin American Logic Symposia
- BR SPCLEARQ FAIA-I-IT507
- Item
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.
Ayda Ignez Arruda
Une sémantique pour le calcul C1
- BR SPCLEARQ FAIA-PItm-IT441
- Item
- [1974-1976]
Parte deAyda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.
Ayda Ignez Arruda
Carta de Newton Carneiro Affonso da Costa
- BR SPCLEARQ FAIA-AA-Fapesp-DNC-IT070
- Item
Parte deAyda Ignez Arruda
Carta de Newton C.A. da Costa para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório científico relativo ao projeto Teoria de Modelos e Aplicações, processo 77/0790.