Herramientas‎ > ‎

Herramienta FOLST

First Order Logic Semantics Tutor
Herramienta para asistir en el proceso de enseñanza/aprendizaje de Semántica en Lógica de Predicados de Primer Orden.

Accedé al sitio web de la herramienta desde acá: http://sourceforge.net/projects/folst/