Um ambiente interativo para o desenvolvimento de provas da lógica proposicional.
![Thumbnail](/bitstream/handle/10183/99574/Resumo_19990152.pdf.jpg?sequence=3&isAllowed=y)
View/ Open
Date
1999Advisor
Event
Salão de iniciação Científica (11. : 1999 out. 25-29 : UFRGS, Porto Alegre, RS).
Subject
Presentation type
Apresentação oralKnowledge area
Exact and earth sciences
In
Salão de iniciação Científica (11. : 1999 : Porto Alegre). Livro de resumos. Porto Alegre : UFRGS, 1999.
Session
Informática e Educação II
Collections
-
Exact and Earth Sciences (261)
This item is licensed under a Creative Commons License
![](/themes/Mirage2Novo//images/lume/cc.png)