Calculs de descriptions pour les systèmes formels inconsistants Add to clipboard BR SPCLEARQ FAIA-Impr-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. Untitled
Remarques sur le système NF1 Add to clipboard 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
Une sémantique pour le calcul C1 Add to clipboard BR SPCLEARQ FAIA-Impr-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. Untitled
Logique sans igalité et (k,p)-quasivalence Add to clipboard BR SPCLEARQ FAIA-Impr-IT548 Item 1976 Part of Ayda Ignez Arruda MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976. Untitled
Electron-Hole Drop Velocities as a Probe in Germanium Add to clipboard BR SPCLEARQ CJCVM-I-IT246 Item 1977 Part of José Carlos Valladão de Mattos Electron-Hole Drop Velocities as a Probe in Germanium. In: Lattice Dynamics International Conference, Paris, 1977, Flamarion Series, p. 234-237. Untitled
2 Reunião do Comitê Consultivo das Nações Unidas Add to clipboard BR SPCLEARQ JCR-F-IT37 Item 1955-05 Part of Joaquim da Costa Ribeiro Joaquim da Costa Ribeiro e outros na Comissão que discutia as aplicações pacíficas da Energia Atômica [2ème Reunion du Comité Consultativ de l'ONU pour la Conférence des Applications Pacifiques de l'Energie Nucléaire. Paris - Mai - 1955] Untitled