Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 10h07min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia (→Avaliação)
- 10h07min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia (→Avaliação)
- 10h06min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia (→Avaliação)
- 10h06min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia
- 10h06min 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...)
- 10h05min de 11 de setembro de 2008 (dif | hist) Pesquisas e Projetos
- 16h42min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 16h41min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 15h36min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 15h35min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 15h32min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Passados)
- 15h31min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Atuais)
- 15h30min de 15 de agosto de 2008 (dif | hist) Disciplinas
- 15h29min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 15h26min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Futuros)
- 15h25min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Passados)
- 15h24min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Passados)
- 15h23min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Passados)
- 15h23min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação
- 15h21min de 15 de agosto de 2008 (dif | hist) m Engenharia de Computação (→Passados)
- 15h20min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Atuais)
- 15h16min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Atuais)
- 15h16min de 15 de agosto de 2008 (dif | hist) Engenharia de Computação (→Páginas de disciplinas)
- 15h09min de 15 de agosto de 2008 (dif | hist) N Engenharia de Computação (Nova página: == Páginas de disciplinas ==)
- 15h06min de 15 de agosto de 2008 (dif | hist) Página principal (→Wiki Pública do Departamento Acadêmico de Informática - UTFPR, Curitiba)
- 00h53min de 13 de agosto de 2008 (dif | hist) Provadores de Teoremas (→Links)
- 00h53min de 13 de agosto de 2008 (dif | hist) m Provadores de Teoremas (→Links)
- 00h41min de 13 de agosto de 2008 (dif | hist) m Provadores de Teoremas (→Links)
- 00h41min 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 ])
- 00h40min de 13 de agosto de 2008 (dif | hist) Adolfo Neto
- 15h14min de 11 de agosto de 2008 (dif | hist) m Disciplinas
- 12h37min de 11 de agosto de 2008 (dif | hist) m Pesquisas e Projetos
- 12h36min de 11 de agosto de 2008 (dif | hist) Pesquisas e Projetos
- 12h35min de 11 de agosto de 2008 (dif | hist) N Pesquisas e Projetos (Nova página: * KEMS - Professor [Adolfo Neto] - http://kems.iv.fapesp.br)
- 12h25min de 8 de agosto de 2008 (dif | hist) Disciplinas
- 21h11min de 5 de agosto de 2008 (dif | hist) N Cursos (Nova página: * Engenharia de Computação)
- 13h51min de 5 de agosto de 2008 (dif | hist) Maratona de Programação
- 13h50min de 5 de agosto de 2008 (dif | hist) Maratona de Programação (→Sites)
- 13h49min de 5 de agosto de 2008 (dif | hist) Maratona de Programação
- 13h48min 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...)
- 13h46min de 5 de agosto de 2008 (dif | hist) Página principal
- 14h00min 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])
- 13h59min de 4 de agosto de 2008 (dif | hist) N Professores (http://br.monografias.com/trabalhos2/qualidade-vida-saude/qualidade-vida-saude.shtml)
- 13h58min de 4 de agosto de 2008 (dif | hist) Página principal
- 13h58min de 4 de agosto de 2008 (dif | hist) Página principal
- 10h12min de 1 de agosto de 2008 (dif | hist) Adolfo Neto
- 10h10min de 1 de agosto de 2008 (dif | hist) m Adolfo Neto
- 10h05min de 1 de agosto de 2008 (dif | hist) m Adolfo Neto
- 10h03min de 1 de agosto de 2008 (dif | hist) N Arquivo:Adolfoneto.jpg (Foto do professor Adolfo Neto) (revisão atual)
- 10h03min 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).