Menu

Filtros : "IME-MAC" "1971" Removidos: "MYCOPLASMA" "Direito do Estado" "Indexado no Science Citation Index" "2000" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • 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: 07 out. 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 out. 07 ]

    • Vancouver

      Brzozowski JA, Simon I. Locally testable events. 1971 ;[citado 2024 out. 07 ]

  • 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: 07 out. 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 out. 07 ]

    • Vancouver

      Simon I. On the time required by the Davis-Putnam tautology recognition algorithm. 1971 ;[citado 2024 out. 07 ]
  • 1

1 - 2 (2 records)

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