Lotrec

Le permite probar estrategias y fórmulas lógicas.
Descargar ahora

Lotrec Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • LoTREC Team
  • Sistemas operativos:
  • Windows All
  • Tamaño del archivo:
  • 19.8 MB

Lotrec Etiquetas


Lotrec Descripción

LOTRET es un Prover Thorem Tableau diseñado para los estudiantes e investigadores que se ocupan de las implementaciones de lógicas modales. Le permite crear un teorema lógico creando un conjunto de conectores, reglas y estrategias. Todos los artículos se utilizarán para probar la fórmula lógica.


Lotrec Software relacionado

Sobre nosotros