Recent site activity

May 8, 2017, 12:45 AM Joao Marcos edited Método de Resolução & Prolog
May 8, 2017, 12:38 AM Joao Marcos edited Método de Resolução & Prolog
May 8, 2017, 12:34 AM Joao Marcos edited Método de Resolução & Prolog
May 8, 2017, 12:32 AM Joao Marcos edited Método de Resolução & Prolog
May 8, 2017, 12:30 AM Joao Marcos edited Método de Resolução & Prolog
May 8, 2017, 12:25 AM Joao Marcos edited Método de Resolução & Prolog
May 7, 2017, 1:30 PM Joao Marcos edited Dedução Natural para a Lógica Clássica de Primeira Ordem
May 5, 2017, 11:38 AM Joao Marcos edited Representação do Conhecimento e Argumentação (LCP)
May 5, 2017, 11:37 AM Joao Marcos edited Representação do Conhecimento e Argumentação (LCP)
May 4, 2017, 9:40 AM Joao Marcos edited Semântica Proposicional Clássica
May 4, 2017, 9:31 AM Joao Marcos edited Semântica Proposicional Clássica
May 4, 2017, 12:14 AM Joao Marcos edited The Suszkian Odyssey
May 1, 2017, 9:52 AM Joao Marcos edited The Suszkian Odyssey
May 1, 2017, 9:48 AM Joao Marcos edited The Suszkian Odyssey
Apr 30, 2017, 5:33 AM Joao Marcos edited Semântica Proposicional Clássica
Apr 30, 2017, 5:31 AM Joao Marcos edited Semântica Proposicional Clássica
Apr 30, 2017, 5:29 AM Joao Marcos edited Dedução Natural para a Lógica Clássica Proposicional
Apr 30, 2017, 5:23 AM Joao Marcos edited Dedução Natural para a Lógica Clássica Proposicional
Apr 25, 2017, 11:36 PM Joao Marcos edited Semântica de Primeira Ordem Clássica
Apr 25, 2017, 11:31 PM Joao Marcos edited Semântica de Primeira Ordem Clássica
Apr 25, 2017, 11:27 PM Joao Marcos edited Semântica de Primeira Ordem Clássica
Apr 24, 2017, 12:07 AM Joao Marcos edited Tipos de Dados Recursivos
Apr 24, 2017, 12:04 AM Joao Marcos edited Raciocínio Equacional
Apr 24, 2017, 12:01 AM Joao Marcos edited Especificações Algébricas de Tipos de Dados Abstratos
Feb 15, 2017, 10:40 AM Joao Marcos edited Homepage of Joao Marcos

older | newer