Textual

Elements area

Taxonomy

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Textual

          Equivalent terms

          Textual

            Associated terms

            Textual

              4348 Archival description results for Textual

              4348 results directly related Exclude narrower terms
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-28 · Item · 1976-08-29
              Part of Ayda Ignez Arruda

              Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.

              Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-30 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA, sem título, tratando sobre sistemas lógicos sem a regra do modus ponens. S.l., S.d. S.ass. 12p. ms.

              Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-33 · Item · s.d.
              Part of Ayda Ignez Arruda

              Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.

              Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-34 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.

              Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PIm-EL-35 · Item · s.d.
              Part of Ayda Ignez Arruda

              Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.

              Untitled
              Publicação
              BR SPCLEARQ AIA-PItm-5 · Item · s.d.
              Part of Ayda Ignez Arruda

              Artigo, em espanhol, de José Fernández-Prida, intitulado Teorias Recursivas, Creativas y Productivas. S.l., S.d. S.ass. 15p. dat. cópia.

              Untitled
              Publicação
              BR SPCLEARQ AIA-PItm-7 · Item · [1983-1984]
              Part of 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.

              Untitled
              Publicação
              BR SPCLEARQ AIA-PItm-8 · Item · [1982-1983]
              Part of Ayda Ignez Arruda

              Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

              Untitled
              Informe de apoio
              BR SPCLEARQ AIA-PItm-11 · Item · 1975-12-13
              Part of Ayda Ignez Arruda

              Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia.

              Untitled
              Projeto
              BR SPCLEARQ AIA-PItm-12 · Item · 1983-08
              Part of Ayda Ignez Arruda

              Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

              Untitled