Paris (França)

Área de elementos

Taxonomia

Locais

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        Paris (França)

          Termos equivalentes

          Paris (França)

            Termos associados

            Paris (França)

              43 Descrição arquivística resultados para Paris (França)

              43 resultados diretamente relacionados Excluir termos específicos
              Publicação
              BR SPCLEARQ AIA-I-38 · Item · 1964-06-29
              Parte de Ayda 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
              Publicação
              BR SPCLEARQ AIA-I-20 · 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
              Publicação
              BR SPCLEARQ AIA-I-22 · Item · 1968-01-08
              Parte de Ayda 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
              Publicação
              BR SPCLEARQ AIA-I-23 · Item · 1968-04-29
              Parte de Ayda 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
              Publicação
              BR SPCLEARQ AIA-I-24 · Item · 1970-05-04
              Parte de Ayda 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
              Publicação
              BR SPCLEARQ AIA-I-59 · 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
              Publicação
              BR SPCLEARQ AIA-I-60 · Item · 1971-05
              Parte de 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.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-61 · 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
              Publicação
              BR SPCLEARQ AIA-I-8 · Item · 1975-05-26
              Parte de Ayda 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
              Publicação
              BR SPCLEARQ AIA-I-19 · Item · 1969-03-31
              Parte de Ayda 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