PLMan - Propositional Logic Parser 2.0

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

PLMan est un parser/calculatrice de phrase logique propositionnelle avec variable capacité de traitement implémentée en Java, ce qui signifie qu’elle fonctionne sur chaque JVM environnement installé (Unix, Linux, Windows, etc.).

historique de la version

  • Version plman%202.0 posté sur 2003-12-22
    Plusieurs correctifs et mises à jour
  • Version plman 2.0 posté sur 2003-12-22

Détails du programme