Herramientas‎ > ‎

Herramienta Clprover

Herramienta utilizada para Resolución en Lógica de Predicados de Primer Orden

Accedé al sitio web de la herramienta desde acá: http://code.google.com/p/clprover/