Filtros : "Financiamento EPSRC" "Advances in temporal logic" Limpar


  • 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

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