Contribuições do usuário
De Wiki DAINF
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
- 12h34min de 2 de outubro de 2008 (dif | hist) Adolfo Neto
- 12h32min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008 (→Edições Anteriores)
- 12h31min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008 (→Páginas sobre a ExpoUT 2008)
- 12h30min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008
- 12h30min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008
- 12h30min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008
- 12h29min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008
- 12h28min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008
- 12h11min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008
- 12h09min de 2 de outubro de 2008 (dif | hist) ExpoUT 2008
- 12h07min de 2 de outubro de 2008 (dif | hist) N ExpoUT 2008 (Nova página: A ExpoUT é um importante evento realizado pela [Universidade Tecnológica Federal do Paraná] que procura através de diferentes mecanismos apresentar a UTFPR, seja por meio de palest...)
- 12h37min de 27 de setembro de 2008 (dif | hist) Mestrados Profissionais
- 12h35min de 27 de setembro de 2008 (dif | hist) Mestrados Profissionais
- 12h34min de 27 de setembro de 2008 (dif | hist) Mestrados Profissionais
- 12h52min de 25 de setembro de 2008 (dif | hist) Egressos (revisão atual)
- 12h47min de 25 de setembro de 2008 (dif | hist) Egressos
- 12h46min de 25 de setembro de 2008 (dif | hist) Egressos
- 12h46min de 25 de setembro de 2008 (dif | hist) Egressos
- 12h46min de 25 de setembro de 2008 (dif | hist) Egressos
- 12h43min de 25 de setembro de 2008 (dif | hist) Egressos
- 12h42min de 25 de setembro de 2008 (dif | hist) Egressos
- 12h42min de 25 de setembro de 2008 (dif | hist) N Egressos (Nova página: * Tecnologia em Informática [http://pt.wikipedia.org/wiki/Usu%C3%A1rio:ViniGodoy Vinícius Godoy de Mendonca])
- 12h12min de 25 de setembro de 2008 (dif | hist) Bacharelado em Sistemas de Informação
- 12h12min de 25 de setembro de 2008 (dif | hist) Bacharelado em Sistemas de Informação
- 20h14min de 23 de setembro de 2008 (dif | hist) Maratona de Programação
- 15h09min de 12 de setembro de 2008 (dif | hist) Bacharelado em Sistemas de Informação
- 15h08min de 12 de setembro de 2008 (dif | hist) Bacharelado em Sistemas de Informação
- 15h08min de 12 de setembro de 2008 (dif | hist) N Bacharelado em Sistemas de Informação (Nova página: Novo curso do DAINF. Proposta de Curso aprovada no COEPP em 12/09/2008. Vagas para o curso serão oferecidas a partir do vestibular para ingresso no primeiro 2009.)
- 15h06min de 12 de setembro de 2008 (dif | hist) Cursos (→Graduação)
- 18h31min de 11 de setembro de 2008 (dif | hist) PHP (revisão atual)
- 18h30min de 11 de setembro de 2008 (dif | hist) N PHP (Nova página: PHP, no contexto da lógica proposicional, significa _Pigeon Hole Principle_ (princípio do escaninho).)
- 18h29min de 11 de setembro de 2008 (dif | hist) Famílias de problemas difíceis (→Para lógicas proposicionais paraconsistentes) (revisão atual)
- 18h29min de 11 de setembro de 2008 (dif | hist) Famílias de problemas difíceis (→Famílias de problemas difíceis para lógicas proposicionais paraconsistentes)
- 18h29min de 11 de setembro de 2008 (dif | hist) Famílias de problemas difíceis (→Famílias de problemas difíceis para lógica proposicional clássica)
- 18h29min de 11 de setembro de 2008 (dif | hist) Famílias de problemas difíceis (→Famílias de problemas difíceis para lógicas proposicionais inconsistentes)
- 18h28min de 11 de setembro de 2008 (dif | hist) N Famílias de problemas difíceis (Nova página: == Famílias de problemas difíceis para lógica proposicional clássica == * PHP * Statman * Tseitin * Gamma * H == Famílias de problemas difíceis para lógica...)
- 18h27min de 11 de setembro de 2008 (dif | hist) KEMS - Provador de Teoremas Multi-Estratégia (→Avaliação)
- 17h56min de 11 de setembro de 2008 (dif | hist) Cursos (→Pós-graduação)
- 17h52min de 11 de setembro de 2008 (dif | hist) Cursos (→Graduação)
- 17h51min de 11 de setembro de 2008 (dif | hist) Cursos
- 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
(Mais recentes | Mais antigas) Ver (50 recentes | 50 antigas) (20 | 50 | 100 | 250 | 500).
