Repositório Digital

A- A A+

Um ambiente interativo para o desenvolvimento de provas da lógica proposicional.

.

Um ambiente interativo para o desenvolvimento de provas da lógica proposicional.

Mostrar registro completo

Estatísticas

Evento Salão de iniciação Científica (11. : 1999 out. 25-29 : UFRGS, Porto Alegre, RS).
Título Um ambiente interativo para o desenvolvimento de provas da lógica proposicional.
Autor Alves, Gleifer V.
Dimuro, Graçaliz Pereira
Costa, Antônio Carlos da Rocha
Orientador Duarte, Glaucius Décio
Contido em Salão de iniciação Científica (11. : 1999 : Porto Alegre). Livro de resumos. Porto Alegre : UFRGS, 1999.
Sessão Informática e Educação II
Assunto Ciências exatas e da terra
Tipo Resumo publicado em evento
URI http://hdl.handle.net/10183/99574
Arquivos Descrição Formato
Resumo_19990152.pdf (30.95Kb) 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.