Filtros : "Financiamento EPSRC" "FINGER, MARCELO" Limpar

Filtros



Limitar por data


  • Fonte: Advances in temporal logic. 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 e REYNOLDS, Mark. Two-dimensional executable temporal logic for bitemporal databases. Advances in temporal logic. Tradução . Dordrecht: Springer, 2000. . Disponível em: https://doi.org/10.1007/978-94-015-9586-5_20. Acesso em: 10 nov. 2025.
    • APA

      Finger, M., & Reynolds, M. (2000). Two-dimensional executable temporal logic for bitemporal databases. In Advances in temporal logic. Dordrecht: Springer. doi:10.1007/978-94-015-9586-5_20
    • NLM

      Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2025 nov. 10 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
    • Vancouver

      Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2025 nov. 10 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20
  • Fonte: Logic Journal of the IGPL. Unidade: IME

    Assuntos: LÓGICA MATEMÁTICA, LÓGICA MATEMÁTICA

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

      BRODA, Krysia e FINGER, Marcelo e RUSSO, Alessandra. Labelled natural deduction for substructural logics. Logic Journal of the IGPL, v. 7, n. 3, p. 283-318, 1999Tradução . . Disponível em: https://doi.org/10.1093/jigpal/7.3.283. Acesso em: 10 nov. 2025.
    • APA

      Broda, K., Finger, M., & Russo, A. (1999). Labelled natural deduction for substructural logics. Logic Journal of the IGPL, 7( 3), 283-318. doi:10.1093/jigpal/7.3.283
    • NLM

      Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2025 nov. 10 ] Available from: https://doi.org/10.1093/jigpal/7.3.283
    • Vancouver

      Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2025 nov. 10 ] Available from: https://doi.org/10.1093/jigpal/7.3.283
  • Fonte: Logic Journal of the IGPL. Unidade: IME

    Assunto: PROCESSAMENTO DE LINGUAGEM NATURAL

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

      FINGER, Marcelo et al. Parsing natural language using LDS: a prototype. Logic Journal of the IGPL, v. 5, n. 5, p. 647-671, 1997Tradução . . Disponível em: https://doi.org/10.1093/jigpal/5.5.647. Acesso em: 10 nov. 2025.
    • APA

      Finger, M., Kibble, R., Gabbay, D. M., & Kempson, R. M. (1997). Parsing natural language using LDS: a prototype. Logic Journal of the IGPL, 5( 5), 647-671. doi:10.1093/jigpal/5.5.647
    • NLM

      Finger M, Kibble R, Gabbay DM, Kempson RM. Parsing natural language using LDS: a prototype [Internet]. Logic Journal of the IGPL. 1997 ; 5( 5): 647-671.[citado 2025 nov. 10 ] Available from: https://doi.org/10.1093/jigpal/5.5.647
    • Vancouver

      Finger M, Kibble R, Gabbay DM, Kempson RM. Parsing natural language using LDS: a prototype [Internet]. Logic Journal of the IGPL. 1997 ; 5( 5): 647-671.[citado 2025 nov. 10 ] Available from: https://doi.org/10.1093/jigpal/5.5.647

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