Last 5 Pages Viewed: Special:MobileDiff/57 » Special:MobileOptions » Special:UserLogin » Special:UserLogin » Special:MobileDiff/101

Changes

Jump to navigation Jump to search
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 ==

Navigation menu