- BR SPCLEARQ JCR-F-IT66
- Item
- 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\""."
Joaquim da Costa Ribeiro
3 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deJoaquim da Costa Ribeiro
Joaquim da Costa Ribeiro em frente ao prédio do Museu de História Natural \"Jardin des plantes\""."
Joaquim da Costa Ribeiro
Parte deJoaquim da Costa Ribeiro
Joaquim da Costa Ribeiro em Paris
Joaquim da Costa Ribeiro
2 Reunião do Comitê Consultivo das Nações Unidas
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]
Joaquim da Costa Ribeiro
Logique sans igalité et (k,p)-quasivalence
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.
Ayda Ignez Arruda
Une sémantique pour le calcul C1
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
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
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
Une sémantique pour le calcul C1=. C.R
Parte deAyda Ignez Arruda
ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.
Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.
Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.
Ayda Ignez Arruda
Sur les systèmes Nfi de da Costa
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 265, p. 641-644, 20 nov. 1967
Ayda Ignez Arruda
Sur certains hiérarchies de calculs de prédicats
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.
Ayda Ignez Arruda
Sur certains algèbres de classes non classiques
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certains algèbres de classes non classiques. C.R. Acad. Sc. Paris, t.268, p. 677-680, 31 mar. 1969
Ayda Ignez Arruda
Remarques sur les systèmes Cn. C.R. Acad. Sc
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975
Ayda Ignez Arruda
Le schéma de la séparation dans les systèmes NFn
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.
Ayda Ignez Arruda
La mathématique classiques dans Nfw
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta, em espanhol, de M. Dickmann para AIA, comunicando seu interesse em vir à Campinas quando de sua participação no VI SLALM e solicitando uma resposta quanto sua vinda ao Brasil. Paris, 19 jan. 1982. Ass.: Marcel Dickmann. 1p.
Ayda Ignez Arruda
Electron-Hole Drop Velocities as a Probe in Germanium
Parte deJosé 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.
José Carlos Valladão de Mattos
Parte deJosé Carlos Valladão de Mattos
Carta, em inglês, de M. Balkanski a JCVM comunicando a aceitação do artigo “Electron Hole Drop Velocities as a Probe of Phonons in Germanium” a ser apresentado na “International Conference of Lattice Dynamics” e pedindo a confirmação da sua presença no evento. ass. M. Balkanski
José Carlos Valladão de Mattos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM informando à possibilidade que as despesas com a sua vinda ao Brasil poderiam serem pagas pelo do CNRS. Paris, 12 de julho de 1978. ass. [Michel]. 1p. (anexo envelope)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM desculpando a impossibilidade de viajar ao Brasil, explicando as dificuldades de deixar a França e agradecendo a colaboração de JCVM. Paris, 10 de julho de 1978. ass. [Michel]. 2p. (anexo envelope)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM pedindo confirmação da sua visita a Campinas. Paris, 12 de junho de 1978. ass. [Michel]. 1p. (anexo envelope)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM enviando seu Curriculum Vitae e concordando em estar em Campinas de 15 de setembro a 15 de outubro. Paris, 22 de março de 1978. ass. [Michel]. 1p. (anexo: Curriculum-Vitae. 7p.)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM comunicando que como não recebeu nenhuma resposta dele ou do Rogério C. C. Leite sobre a sua estadia em Campinas, ele aceitou o convite do APS Meeting e ficará duas semanas nos USA e afirmando que setembro será uma época interessante para visitar a Campinas. Paris, 9 de fevereiro de 1978. ass. [Michel]. 2P
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM perguntando sobre o andamento do trabalho de JCVM e um possível Congresso em Campinas e expressando o seu desejo de estar em Campinas em torno da Páscoa para trabalharem juntos se possível. Paris, 26 de dezembro de 1977. ass. [Michel] 1p. (anexo envelope)
José Carlos Valladão de Matos
Carta manuscrita de [Michel] Voos a JCVM
Parte deJosé Carlos Valladão de Mattos
Carta manuscrita, em inglês, de [Michel] Voos a JCVM comunicando que está no Bell Labs e que retornará à França em novembro. Holmdel, 24 de outubro de 1977. ass. [Michel] Voos. 1p. (anexo envelope)
José Carlos Valladão de Matos