Menu

Filtros : "1971" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Relatorio tecnico

    On the time required by the Davis-Putnam tautology recognition algorithm (1971)

    Simon, Imre

    Unidade: IME

    Assunto: MATEMÁTICA

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SIMON, Imre. On the time required by the Davis-Putnam tautology recognition algorithm. . Waterloo: University of Waterloo. . Acesso em: 17 abr. 2026. , 1971

    • APA

      Simon, I. (1971). On the time required by the Davis-Putnam tautology recognition algorithm. Waterloo: University of Waterloo.

    • NLM

      Simon I. On the time required by the Davis-Putnam tautology recognition algorithm. 1971 ;[citado 2026 abr. 17 ]

    • Vancouver

      Simon I. On the time required by the Davis-Putnam tautology recognition algorithm. 1971 ;[citado 2026 abr. 17 ]

  • Trabalho de evento

    Characterizations of locally testable events (1971)

    Brzozowski, Janusz A; Simon, Imre

    Source: Proceedings. Conference titles: Annual Symposium on Switching and Automata Theory - SWAT. Unidade: IME

    Assunto: TEORIA DOS AUTÔMATOS

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BRZOZOWSKI, Janusz A e SIMON, Imre. Characterizations of locally testable events. 1971, Anais.. Piscataway: IEEE, 1971. Disponível em: https://doi.org/10.1109/SWAT.1971.6. Acesso em: 17 abr. 2026.

    • APA

      Brzozowski, J. A., & Simon, I. (1971). Characterizations of locally testable events. In Proceedings. Piscataway: IEEE. doi:10.1109/SWAT.1971.6

    • NLM

      Brzozowski JA, Simon I. Characterizations of locally testable events [Internet]. Proceedings. 1971 ;[citado 2026 abr. 17 ] Available from: https://doi.org/10.1109/SWAT.1971.6

    • Vancouver

      Brzozowski JA, Simon I. Characterizations of locally testable events [Internet]. Proceedings. 1971 ;[citado 2026 abr. 17 ] Available from: https://doi.org/10.1109/SWAT.1971.6

  • Relatorio tecnico

    Locally testable events (1971)

    Brzozowski, Janusz A.; Simon, Imre

    Unidade: IME

    Assunto: MATEMÁTICA

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BRZOZOWSKI, Janusz A. e SIMON, Imre. Locally testable events. . Waterloo: University of Waterloo. . Acesso em: 17 abr. 2026. , 1971

    • APA

      Brzozowski, J. A., & Simon, I. (1971). Locally testable events. Waterloo: University of Waterloo.

    • NLM

      Brzozowski JA, Simon I. Locally testable events. 1971 ;[citado 2026 abr. 17 ]

    • Vancouver

      Brzozowski JA, Simon I. Locally testable events. 1971 ;[citado 2026 abr. 17 ]
  • 1

1 - 3 (3 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026