Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência - UNICAMP

Mostrando 100 resultados

Descrição arquivística

Visualizar impressão Visualizar:

Ordenar por:

Ordem:

3 resultados com objetos digitais Exibir resultados com objetos digitais

Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik

BR SPCLEARQ FAIA-PItm-IT447
Item
[1983]

Parte de Ayda Ignez Arruda

Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.

Ayda Ignez Arruda

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-Impr-IT485
Item
1969-03-24

Parte de Ayda 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 certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT486
Item
1967-11-20

Parte de Ayda 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

Wroctaw: Polish Academy of Sciences

BR SPCLEARQ FAIA-Impr-IT519
Item
1979-10

Parte de Ayda Ignez Arruda

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Ayda Ignez Arruda

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Parte de 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.

Ayda Ignez Arruda

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

Parte de 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.

Ayda Ignez Arruda

Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT65
Item
1948-05-01

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro em Paris

Joaquim da Costa Ribeiro

rtão de H. Geiler a JCVM

BR SPCLEARQ CJCVM-C-Cp-C-IT147
Item
1973/05/11

Parte de José Carlos Valladão de Mattos

Cartão de H. Geiler a JCVM acusando o recebimento da cópia do artigo “Non equilibrium Phonon Distribution and Electron-Phonon Coupling in Semicondutors” publicado no Solid State Communications. Vol. 12 , 465, 1973. Jena 11 de maio de 1973. ass. H. Geiler. 1p. (impresso manuscrito)

Sem título

Cartão de P. Klíma a JCVM e R. C. Leite

BR SPCLEARQ CJCVM-C-Cp-C-IT166
Item
1993/08/21

Parte de José Carlos Valladão de Mattos

Cartão de P. Klíma a JCVM e R. C. Leite acusando o recebimento da cópia do artigo “Non equilibrium Phonon Distribution and Electron-Phonon Coupling in Semicondutors” publicado na Solid State Communications, 12, 6, 465, 1973. Praga, 21 de agosto de 1993. ass. P. Klíma. 1p. (impresso manuscrito)

Sem título

Cartão de G. Jungk a JCVM, W.O.N. Guimarães e R.C.C. Leite

BR SPCLEARQ CJCVM-C-Cp-C-IT167
Item
[1973]/08/31

Parte de José Carlos Valladão de Mattos

Cartão de G. Jungk a JCVM, W.O.N. Guimarães e R.C.C. Leite acusando o recebimento da cópia do artigo “Photoexcited hot phonons and phonon lifetimes in GaAs” publicado na Optics Commun. 8, 73, 1973. Berlin, 31 de agosto de [1973]. ass. G. Jungk.1p.

Sem título

Exibindo 91-100 de 100 resultados

Limite seus resultados por:

Idioma

Parte de

Produtor

Nome

Local

Assunto

Mostrando 100 resultados