Contribuições do(a) usuário(a) Renato Deyvson
Aspeto
De Renato Deyvson discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 5 edições. Conta criada a 8 de dezembro de 2015.
21 de janeiro de 2016
- 15h33min15h33min de 21 de janeiro de 2016 dif his +568 Complexidade de prova Texto wikificado e links para as fontes. Etiqueta: Editor Visual
18 de dezembro de 2015
- 02h15min02h15min de 18 de dezembro de 2015 dif his +149 Lista de classes de complexidade Adição de links externos Etiqueta: Editor Visual
- 02h12min02h12min de 18 de dezembro de 2015 dif his +6 517 Complexidade de prova Foi adicionada uma tradução do artigo "Proof_complexity" Etiqueta: Editor Visual
17 de dezembro de 2015
- 19h01min19h01min de 17 de dezembro de 2015 dif his +1 192 N Complexidade de prova Introdução sobre o que é a complexidade de prova. Etiqueta: Editor Visual
- 18h52min18h52min de 17 de dezembro de 2015 dif his +7 149 N Lista de classes de complexidade Foi feita uma tradução da página "List of complexity classes". Etiquetas: Internetês ou miguxês Editor Visual