Contribuições do(a) usuário(a) Marlonwc2
De Marlonwc2 discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 13 edições. Conta criada a 19 de fevereiro de 2015.
24 de fevereiro de 2015
- 01h14min01h14min de 24 de fevereiro de 2015 dif his +20 Lógica de Árvore de Computação
- 01h13min01h13min de 24 de fevereiro de 2015 dif his +15 695 N Lógica de Árvore de Computação nova página: '''Lógica de Árvore de Computação (LAC)''' é uma ramificação-temporal da Lógica, significando que seu modelo de tempo é como a estrutura árvo...
- 01h11min01h11min de 24 de fevereiro de 2015 dif his +2 Verificação formal
- 01h08min01h08min de 24 de fevereiro de 2015 dif his +11 Verificação formal →Abordagens Etiqueta: Editor Visual
- 01h06min01h06min de 24 de fevereiro de 2015 dif his +5 Verificação formal →Uso
- 01h05min01h05min de 24 de fevereiro de 2015 dif his −1 Árvore Lógica Computacional
20 de fevereiro de 2015
- 02h20min02h20min de 20 de fevereiro de 2015 dif his 0 Árvore Lógica Computacional →Sintaxe da ALC
- 02h18min02h18min de 20 de fevereiro de 2015 dif his −27 Árvore Lógica Computacional →Operadores Lógicos
- 02h12min02h12min de 20 de fevereiro de 2015 dif his +7 Árvore Lógica Computacional →External links
- 02h11min02h11min de 20 de fevereiro de 2015 dif his +6 Árvore Lógica Computacional Correções
- 02h08min02h08min de 20 de fevereiro de 2015 dif his 0 Árvore Lógica Computacional →Relations with other logics
- 02h07min02h07min de 20 de fevereiro de 2015 dif his +3 Árvore Lógica Computacional Correção de frase
- 01h36min01h36min de 20 de fevereiro de 2015 dif his +15 867 N Árvore Lógica Computacional Tradução do artigo https://en.wikipedia.org/wiki/Computation_tree_logic Etiqueta: Internetês ou miguxês
