Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 11h07min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia (→Avaliação)
- 11h07min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia (→Avaliação)
- 11h06min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia (→Avaliação)
- 11h06min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia
- 11h06min de 11 de setembro de 2008 (dif | hist) N KEMS - Provador de Teoremas Multi-Estratégia (Nova página: O KEMS é um provador de teoremas multi-estratégia baseado no método KE. O sistema KE, um método de tablôs desenvolvido por Marco Mondadori e Marcello D'Agostino [1], foi apresent...)
- 11h05min de 11 de setembro de 2008 (dif | hist) Pesquisas e Projetos
- 17h42min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 17h41min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 16h36min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 16h35min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 16h32min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Passados)
- 16h31min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Atuais)
- 16h30min de 15 de agosto de 2008 (dif | hist) Disciplinas
- 16h29min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 16h26min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Futuros)
- 16h25min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Passados)
- 16h24min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Passados)
- 16h23min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Passados)
- 16h23min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 16h21min de 15 de agosto de 2008 (dif | hist) m Engenharia de Computação (→Passados)
- 16h20min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Atuais)
- 16h16min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Atuais)
- 16h16min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Páginas de disciplinas)
- 16h09min de 15 de agosto de 2008 (dif | hist) N Engenharia de Computação (Nova página: == Páginas de disciplinas ==)
- 16h06min de 15 de agosto de 2008 (dif | hist) Página principal (→Wiki Pública do Departamento Acadêmico de Informática - UTFPR, Curitiba)
- 01h53min de 13 de agosto de 2008 (dif | hist) Provadores de Teoremas (→Links)
- 01h53min de 13 de agosto de 2008 (dif | hist) m Provadores de Teoremas (→Links)
- 01h41min de 13 de agosto de 2008 (dif | hist) m Provadores de Teoremas (→Links)
- 01h41min de 13 de agosto de 2008 (dif | hist) N Provadores de Teoremas (Nova página: == Links == [http://www.cs.miami.edu/~tptp/OverviewOfATP.html Geoff Sutcliffe's Overview of Automated Theorem Proving ])
- 01h40min de 13 de agosto de 2008 (dif | hist) Adolfo Neto
- 16h14min de 11 de agosto de 2008 (dif | hist) m Disciplinas
- 13h37min de 11 de agosto de 2008 (dif | hist) m Pesquisas e Projetos
- 13h36min de 11 de agosto de 2008 (dif | hist) Pesquisas e Projetos
- 13h35min de 11 de agosto de 2008 (dif | hist) N Pesquisas e Projetos (Nova página: * KEMS - Professor [Adolfo Neto] - http://kems.iv.fapesp.br)
- 13h25min de 8 de agosto de 2008 (dif | hist) Disciplinas
- 22h11min de 5 de agosto de 2008 (dif | hist) N Cursos (Nova página: * Engenharia de Computação)
- 14h51min de 5 de agosto de 2008 (dif | hist) Maratona de Programação
- 14h50min de 5 de agosto de 2008 (dif | hist) Maratona de Programação (→Sites)
- 14h49min de 5 de agosto de 2008 (dif | hist) Maratona de Programação
- 14h48min de 5 de agosto de 2008 (dif | hist) N Maratona de Programação (Nova página: == Atividades == Início dos trabalhos: 04/08/2008 - palestra do prof. Fabro Seletiva: enviar email para o prof. Fabro == Sites == [http://maratona.ime.usp.br Site oficial da Marat...)
- 14h46min de 5 de agosto de 2008 (dif | hist) Página principal
- 15h00min de 4 de agosto de 2008 (dif | hist) N Maratona de Programação (erro) (Nova página: == Links == [http://maratona.ime.usp.br Site brasileiro da Maratona de Programação])
- 14h59min de 4 de agosto de 2008 (dif | hist) N Professores (http://br.monografias.com/trabalhos2/qualidade-vida-saude/qualidade-vida-saude.shtml)
- 14h58min de 4 de agosto de 2008 (dif | hist) Página principal
- 14h58min de 4 de agosto de 2008 (dif | hist) Página principal
- 11h12min de 1 de agosto de 2008 (dif | hist) Adolfo Neto
- 11h10min de 1 de agosto de 2008 (dif | hist) m Adolfo Neto
- 11h05min de 1 de agosto de 2008 (dif | hist) m Adolfo Neto
- 11h03min de 1 de agosto de 2008 (dif | hist) N Arquivo:Adolfoneto.jpg (Foto do professor Adolfo Neto) (revisão atual)
- 11h03min de 1 de agosto de 2008 (dif | hist) Nm Adolfo Neto (Nova página: Imagem:adolfoneto.jpg Adolfo Neto é Professor Adjunto do Departamento de Informática (DAINF) da Universidade Tecnológica Federal do Paraná (UTFPR) desde 22/07/2008. Seu Curric...)
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).