205
edits
Changes
Jump to navigation
Jump to search
Uma lista de Ferramentas para o Ensino de Lógica (view source)
Revision as of 15:08, 27 May 2013
, 15:08, 27 May 2013→LoTREC
Trata-se de uma ferramenta para a demonstração através do método de Tableau para Lógica de $1ª$ Ordem e Lógica Modal, implementada em Java e executável via Java Web Start. [http://www.irit.fr/Lotrec/]
Avaliação: [Muito bom]
Problemas: -
== Modal Logic Playground ==
