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
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
Joaquim da Costa Ribeiro Add to clipboard BR SPCLEARQ JCR-F-IT65 Item 1948-05-01 Part of Joaquim da Costa Ribeiro Joaquim da Costa Ribeiro em Paris Untitled
Joaquim da Costa Ribeiro Add to clipboard BR SPCLEARQ JCR-F-IT66 Item 1948-05-01 Part of Joaquim da Costa Ribeiro Joaquim da Costa Ribeiro em frente ao prédio do Museu de História Natural "Jardin des plantes" Untitled