Menu

Filtros : "PROVA AUTOMÁTICA DE TEOREMAS" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Tese (Doutorado)

    Um provador de teoremas multi-estratégia (2007)

    Seca Neto, Adolfo Gustavo Serra; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, PROVA AUTOMÁTICA DE TEOREMAS

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

    • ABNT

      SECA NETO, Adolfo Gustavo Serra. Um provador de teoremas multi-estratégia. 2007. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/. Acesso em: 08 out. 2024.

    • APA

      Seca Neto, A. G. S. (2007). Um provador de teoremas multi-estratégia (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/

    • NLM

      Seca Neto AGS. Um provador de teoremas multi-estratégia [Internet]. 2007 ;[citado 2024 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/

    • Vancouver

      Seca Neto AGS. Um provador de teoremas multi-estratégia [Internet]. 2007 ;[citado 2024 out. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-04052007-175943/

  • Trabalho de evento

    Using relevance to speed up inference: some empirical results (2004)

    Riani, Joselyto; Wassermann, Renata

    Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, PROVA AUTOMÁTICA DE TEOREMAS

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

    • ABNT

      RIANI, Joselyto e WASSERMANN, Renata. Using relevance to speed up inference: some empirical results. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_3. Acesso em: 08 out. 2024.

    • APA

      Riani, J., & Wassermann, R. (2004). Using relevance to speed up inference: some empirical results. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_3

    • NLM

      Riani J, Wassermann R. Using relevance to speed up inference: some empirical results [Internet]. Proceedings. 2004 ;[citado 2024 out. 08 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3

    • Vancouver

      Riani J, Wassermann R. Using relevance to speed up inference: some empirical results [Internet]. Proceedings. 2004 ;[citado 2024 out. 08 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3
  • 1

1 - 2 (2 records)

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