Lotrec

Tableau Theorem Prover voor modale logica
Download nu

Lotrec Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • Freeware
  • Naam uitgever:
  • Bilal Said
  • Uitgever website:
  • http://www.irit.fr/
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 1 KB

Lotrec Tags


Lotrec Beschrijving

LOTREC is een eenvoudig te gebruiken, handige applicatie die kan worden gebruikt als een generieke tableau-stelprofier voor modale logica.it kan worden gebruikt om nieuwe implementaties van tableau-methode-methode te analyseren, te testen en te creëren. LotRec is geschreven in de Java-programmeertaal en kan worden uitgevoerd op Mac OS X, Windows en Linux.


Lotrec Gerelateerde software

Over ons