Menu

Filtros : "MAT" "Finger, Marcelo" Removido: "TANAMATI, LIÈGE FRANZINI" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Dissertação (Mestrado)

    Multiplicadores algébricos de validade lógica (2010)

    Hernandes, Mauricio Simões Camilo; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: LÓGICA ALGÉBRICA, INVARIANTES, LÓGICA DE PRIMEIRA ORDEM, ÁLGEBRAS DE BOOLE, SEMÂNTICA, LINGUÍSTICA COMPUTACIONAL

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

    • ABNT

      HERNANDES, Mauricio Simões Camilo. Multiplicadores algébricos de validade lógica. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/. Acesso em: 30 set. 2024.

    • APA

      Hernandes, M. S. C. (2010). Multiplicadores algébricos de validade lógica (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

    • NLM

      Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2024 set. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

    • Vancouver

      Hernandes MSC. Multiplicadores algébricos de validade lógica [Internet]. 2010 ;[citado 2024 set. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

  • Dissertação (Mestrado)

    Aproximações de lógicas modais (2005)

    Rabello, Guilherme de Souza; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      RABELLO, Guilherme de Souza. Aproximações de lógicas modais. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/. Acesso em: 30 set. 2024.

    • APA

      Rabello, G. de S. (2005). Aproximações de lógicas modais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

    • NLM

      Rabello G de S. Aproximações de lógicas modais [Internet]. 2005 ;[citado 2024 set. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

    • Vancouver

      Rabello G de S. Aproximações de lógicas modais [Internet]. 2005 ;[citado 2024 set. 30 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20210729-141220/

  • Dissertação (Mestrado)

    Combinações de Lógicas Modais Não-normais (2004)

    Fajardo, Rogério Augusto dos Santos ; Finger, Marcelo (Orientador)

    Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      FAJARDO, Rogério Augusto dos Santos. Combinações de Lógicas Modais Não-normais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/. Acesso em: 30 set. 2024.

    • APA

      Fajardo, R. A. dos S. (2004). Combinações de Lógicas Modais Não-normais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/

    • NLM

      Fajardo RA dos S. Combinações de Lógicas Modais Não-normais [Internet]. 2004 ;[citado 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/

    • Vancouver

      Fajardo RA dos S. Combinações de Lógicas Modais Não-normais [Internet]. 2004 ;[citado 2024 set. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/
  • 1

1 - 3 (3 records)

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