Multiplicadores algébricos de validade lógica (2010)
Hernandes, Mauricio Simões Camilo; Finger, Marcelo (Orientador) 
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: 09 ago. 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 ago. 09 ] 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 ago. 09 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/
