ReP USP - Resultado da busca

Filtros : "TESE" "SEMÂNTICA" "Financiamento CNPq" Limpar

Filtros

Tese (Doutorado)
Quantification in description logics of typicality (2023)
Câmara, Igor de Camargo e Souza; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: WEB SEMÂNTICA, REPRESENTAÇÃO DE CONHECIMENTO, SEMÂNTICA, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CÂMARA, Igor de Camargo e Souza. Quantification in description logics of typicality. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/. Acesso em: 18 set. 2024.
APA
Câmara, I. de C. e S. (2023). Quantification in description logics of typicality (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
NLM
Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 set. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
Vancouver
Câmara I de C e S. Quantification in description logics of typicality [Internet]. 2023 ;[citado 2024 set. 18 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45134/tde-18092023-181200/
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: 18 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. 18 ] 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. 18 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20230727-113653/

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