Filtros : "1971" "University of Waterloo" Removidos: "Indexado na: Base de Dados Medline" "LZT" "1978" Limpar

Filtros



Refine with date range


  • 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: 13 nov. 2024. , 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 2024 nov. 13 ]
    • Vancouver

      Brzozowski JA, Simon I. Locally testable events. 1971 ;[citado 2024 nov. 13 ]
  • 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: 13 nov. 2024. , 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 2024 nov. 13 ]
    • Vancouver

      Simon I. On the time required by the Davis-Putnam tautology recognition algorithm. 1971 ;[citado 2024 nov. 13 ]

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