Repositório Digital

A- A A+

Utilização de mônadas na implementação de um provador de teoremas

.

Utilização de mônadas na implementação de um provador de teoremas

Mostrar registro completo

Estatísticas

Evento Salão de iniciação Científica (14. : 2002 dez. 2-6 : UFRGS, Porto Alegre, RS).
Título Utilização de mônadas na implementação de um provador de teoremas
Autor Alves, Gleifer V.
Costa, Antônio C. R.
Orientador Dimuro, Graçaliz P.
Contido em Salão de iniciação Científica (14. : 2002 : Porto Alegre, RS). Livro de resumos. Porto Alegre : UFRGS, 2002.
Sessão Fundamentos da computação
Assunto Ciências exatas e da terra
Tipo Resumo publicado em evento
URI http://hdl.handle.net/10183/82206
Arquivos Descrição Formato
Resumo_20020319.pdf (10.41Kb) 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.