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)

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

              75 resultados diretamente relacionados Excluir termos específicos
              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_39 · Item · 1964-11-02
              Parte de Ayda 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
              Publicação
              BR SPCLEARQ AIA_I_41 · Item · 1977-01-31
              Parte de Ayda 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
              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_25 · Item · 1970-04-27
              Parte de Ayda 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
              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_21 · 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
              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_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