Repositório Digital

A- A A+

Estudo para implementação de um provador de teoremas

.

Estudo para implementação de um provador de teoremas

Mostrar registro completo

Estatísticas

Evento Salão de iniciação Científica (13. : 2001 out. 22-26 : UFRGS, Porto Alegre, RS).
Título Estudo para implementação de um provador de teoremas
Autor Alves, Gleifer V.
Dimuro, Graçaliz P.
Orientador Costa, Antônio C. R.
Contido em Salão de iniciação Científica (13. : 2001 : Porto Alegre, RS). Livro de resumos. Porto Alegre : UFRGS, 2001.
Sessão Fundamentos da computação
Assunto Ciências exatas e da terra
Tipo Resumo publicado em evento
URI http://hdl.handle.net/10183/84235
Arquivos Descrição Formato
Resumo_20010240.pdf (62.65Kb) Resumo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.