ReP USP - Resultado da busca

Filtros : "COMPUTABILIDADE E COMPLEXIDADE" "MATSUSHIGUE, CLAUS AKIRA" Removido: "Proceedings" Limpar

Filtros

Tese (Doutorado)
Indução de indemonstrabilidades e independências em Complexidade Computacional (2003)
Matsushigue, Claus Akira; Bianconi, Ricardo (Orientador)
Unidade: IME
Assunto: COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATSUSHIGUE, Claus Akira. Indução de indemonstrabilidades e independências em Complexidade Computacional. 2003. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-120754/. Acesso em: 28 nov. 2025.
APA
Matsushigue, C. A. (2003). Indução de indemonstrabilidades e independências em Complexidade Computacional (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-120754/
NLM
Matsushigue CA. Indução de indemonstrabilidades e independências em Complexidade Computacional [Internet]. 2003 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-120754/
Vancouver
Matsushigue CA. Indução de indemonstrabilidades e independências em Complexidade Computacional [Internet]. 2003 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-120754/
Dissertação (Mestrado)
Uma introdução técnica relativa às provas robustas checáveis probabilisticamente (1997)
Matsushigue, Claus Akira; Bianconi, Ricardo (Orientador)
Unidade: IME
Assuntos: MATEMÁTICA APLICADA, COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATSUSHIGUE, Claus Akira. Uma introdução técnica relativa às provas robustas checáveis probabilisticamente. 1997. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1997. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014911/. Acesso em: 28 nov. 2025.
APA
Matsushigue, C. A. (1997). Uma introdução técnica relativa às provas robustas checáveis probabilisticamente (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014911/
NLM
Matsushigue CA. Uma introdução técnica relativa às provas robustas checáveis probabilisticamente [Internet]. 1997 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014911/
Vancouver
Matsushigue CA. Uma introdução técnica relativa às provas robustas checáveis probabilisticamente [Internet]. 1997 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-014911/

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