Menu

Filtros : "Journal of Logic and Computation" Removido: "Reino Unido" Limpar

Filtros

Limitar por data

  • 1

1 - 4 (4 registros)

  • Trabalho de evento-anais periodico

    Analytic methods for the logic of proofs (2010)

    Finger, Marcelo

    Fonte: Journal of Logic and Computation. Nome do evento: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16. Unidade: IME

    Assunto: LÓGICA COMBINATÓRIA

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

    • ABNT

      FINGER, Marcelo. Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/logcom/exn065. Acesso em: 30 jun. 2025. , 2010

    • APA

      Finger, M. (2010). Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1093/logcom/exn065

    • NLM

      Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exn065

    • Vancouver

      Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exn065

  • Artigo de periodico

    Base revision for ontology debugging (2009)

    Ribeiro, Márcio Moretto ; Wassermann, Renata

    Fonte: Journal of Logic and Computation. Unidade: IME

    Assuntos: REVISÃO DE CRENÇAS, ONTOLOGIAS

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

    • ABNT

      RIBEIRO, Márcio Moretto e WASSERMANN, Renata. Base revision for ontology debugging. Journal of Logic and Computation, v. 19, n. 5, p. 721-743, 2009Tradução . . Disponível em: https://doi.org/10.1093/logcom/exn048. Acesso em: 30 jun. 2025.

    • APA

      Ribeiro, M. M., & Wassermann, R. (2009). Base revision for ontology debugging. Journal of Logic and Computation, 19( 5), 721-743. doi:10.1093/logcom/exn048

    • NLM

      Ribeiro MM, Wassermann R. Base revision for ontology debugging [Internet]. Journal of Logic and Computation. 2009 ; 19( 5): 721-743.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exn048

    • Vancouver

      Ribeiro MM, Wassermann R. Base revision for ontology debugging [Internet]. Journal of Logic and Computation. 2009 ; 19( 5): 721-743.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exn048

  • Artigo de periodico

    Anytime approximations of classical logic from above (2007)

    Finger, Marcelo ; Wassermann, Renata

    Fonte: Journal of Logic and Computation. Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

    • ABNT

      FINGER, Marcelo e WASSERMANN, Renata. Anytime approximations of classical logic from above. Journal of Logic and Computation, v. 17, n. 1, p. 53-82, 2007Tradução . . Disponível em: https://doi.org/10.1093/logcom/exl018. Acesso em: 30 jun. 2025.

    • APA

      Finger, M., & Wassermann, R. (2007). Anytime approximations of classical logic from above. Journal of Logic and Computation, 17( 1), 53-82. doi:10.1093/logcom/exl018

    • NLM

      Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exl018

    • Vancouver

      Finger M, Wassermann R. Anytime approximations of classical logic from above [Internet]. Journal of Logic and Computation. 2007 ; 17( 1): 53-82.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exl018

  • Artigo de periodico

    A logical reconstruction of temporal databases (2000)

    Finger, Marcelo

    Fonte: Journal of Logic and Computation. Unidade: IME

    Assunto: LÓGICA

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

    • ABNT

      FINGER, Marcelo. A logical reconstruction of temporal databases. Journal of Logic and Computation, v. 10, n. 6, p. 847-876, 2000Tradução . . Disponível em: https://doi.org/10.1093/logcom/10.6.847. Acesso em: 30 jun. 2025.

    • APA

      Finger, M. (2000). A logical reconstruction of temporal databases. Journal of Logic and Computation, 10( 6), 847-876. doi:10.1093/logcom/10.6.847

    • NLM

      Finger M. A logical reconstruction of temporal databases [Internet]. Journal of Logic and Computation. 2000 ; 10( 6): 847-876.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/10.6.847

    • Vancouver

      Finger M. A logical reconstruction of temporal databases [Internet]. Journal of Logic and Computation. 2000 ; 10( 6): 847-876.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/10.6.847
  • 1

1 - 4 (4 registros)

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025