Menu

Filtros : "Nicoletti, M C" "1990" "ICMC" Removidos: "Barbosa, Ellen Francine" "Bruno, Odemir Martinez" "Taylor and Francis" Limpar

Filtros

Refine with date range

  • 1

1 - 1 (1 records)

  • Relatorio tecnico

    Metodo sintatico de prova de teoremas: algoritmo de wang (1990)

    Monard, Maria Carolina ; Nicoletti, M C

    Unidade: ICMC

    Assunto: CIÊNCIA DA COMPUTAÇÃO

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

    • ABNT

      MONARD, Maria Carolina e NICOLETTI, M C. Metodo sintatico de prova de teoremas: algoritmo de wang. . Sao Carlos: Icmsc-Usp. . Acesso em: 17 ago. 2024. , 1990

    • APA

      Monard, M. C., & Nicoletti, M. C. (1990). Metodo sintatico de prova de teoremas: algoritmo de wang. Sao Carlos: Icmsc-Usp.

    • NLM

      Monard MC, Nicoletti MC. Metodo sintatico de prova de teoremas: algoritmo de wang. 1990 ;[citado 2024 ago. 17 ]

    • Vancouver

      Monard MC, Nicoletti MC. Metodo sintatico de prova de teoremas: algoritmo de wang. 1990 ;[citado 2024 ago. 17 ]
  • 1

1 - 1 (1 records)

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