205
edits
Changes
Jump to navigation
Jump to search
É uma ferramenta para a construção de demonstrações em linguagens formais de cálculo sentencial, cálculo de predicados e teoria dos conjuntos [http://www.utexas.edu/courses/plato/]
Uma lista de Ferramentas para o Ensino de Lógica (view source)
Revision as of 15:14, 27 May 2013
, 15:14, 27 May 2013→Plato
== Plato ==
Avaliação: -
Problemas: -
== Possible World Creation ==
