Une sémantique pour le calcul C1 Añadir al portapapeles BR SPCLEARQ FAIA-Impr-IT526 Unidad documental simple 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. Sin título
Logique sans igalité et (k,p)-quasivalence Añadir al portapapeles BR SPCLEARQ FAIA-Impr-IT548 Unidad documental simple 1976 Parte deAyda Ignez Arruda MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976. Sin título
2 Reunião do Comitê Consultivo das Nações Unidas Añadir al portapapeles BR SPCLEARQ JCR-F-IT37 Unidad documental simple 1955-05 Parte deJoaquim 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] Sin título
Joaquim da Costa Ribeiro Añadir al portapapeles BR SPCLEARQ JCR-F-IT65 Unidad documental simple 1948-05-01 Parte deJoaquim da Costa Ribeiro Joaquim da Costa Ribeiro em Paris Sin título
Joaquim da Costa Ribeiro Añadir al portapapeles BR SPCLEARQ JCR-F-IT66 Unidad documental simple 1948-05-01 Parte deJoaquim da Costa Ribeiro Joaquim da Costa Ribeiro em frente ao prédio do Museu de História Natural "Jardin des plantes" Sin título