ReP USP - Resultado da busca

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
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: 17 nov. 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 nov. 17 ] 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 nov. 17 ] 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
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: 17 nov. 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 nov. 17 ] 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 nov. 17 ] 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
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: 17 nov. 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 nov. 17 ] 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 nov. 17 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-13122007-203348/

USP Schools

ReP

Filtros

Subjects