Molestar

Molle es un ProVER multiplataforma para la lógica modal, que explota el método de Tableaux semántico modal
Descargar ahora

Molestar Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • DEI, Politecnico di Milano
  • Sistemas operativos:
  • Windows All
  • Tamaño del archivo:
  • 2.2 MB

Molestar Etiquetas


Molestar Descripción

MOLLE es el evaluador lógico modal de lógica. Molle es un prover multiplataforma escrito en Java.


Molestar Software relacionado

Sobre nosotros