Filtros : "Fernández, Maribel" Limpar


  • Fonte: Electronic Notes in Theoretical Computer Science. Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

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

      FERNÁNDEZ, Maribel. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.entcs.2014.06.001. Acesso em: 01 dez. 2025. , 2014
    • APA

      Fernández, M. (2014). Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.entcs.2014.06.001
    • NLM

      Fernández M. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio] [Internet]. Electronic Notes in Theoretical Computer Science. 2014 ; 305 1-3.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1016/j.entcs.2014.06.001
    • Vancouver

      Fernández M. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio] [Internet]. Electronic Notes in Theoretical Computer Science. 2014 ; 305 1-3.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1016/j.entcs.2014.06.001
  • Unidade: IME

    Assunto: CIÊNCIA DA COMPUTAÇÃO

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

      Electronic Notes in Theoretical Computer Science. . Amsterdam: Elsevier. Disponível em: https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/305/suppl/C. Acesso em: 01 dez. 2025. , 2014
    • APA

      Electronic Notes in Theoretical Computer Science. (2014). Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Recuperado de https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/305/suppl/C
    • NLM

      Electronic Notes in Theoretical Computer Science [Internet]. 2014 ;[citado 2025 dez. 01 ] Available from: https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/305/suppl/C
    • Vancouver

      Electronic Notes in Theoretical Computer Science [Internet]. 2014 ;[citado 2025 dez. 01 ] Available from: https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/305/suppl/C

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