Invia software
  1. Casa
  2. Windows
  3. Altro
  4. PLMan - Propositional Logic Parser

PLMan - Propositional Logic Parser 2.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

PLMan è un parser/calcolatrice di frasi logiche proposizionali con variabile capacità di gestione implementata in Java, il che significa che viene eseguita su ogni JVM ambiente installato (Unix, Linux, Windows, ecc.).

cronologia delle versioni

  • Versione plman%202.0 pubblicato il 2003-12-22
    Diverse correzioni e aggiornamenti
  • Versione plman 2.0 pubblicato il 2003-12-22

Dettagli del programma

Programmi correlati

  • BenQ Laptop to Hotspot Converter Prova gratuita

    BenQ Laptop to Hotspot Converter converte il tuo laptop BenQ in un hotspot wireless.Con questo software, il tuo laptop BenQ (piattaforma Windows) viene trasformato in un hotspot Wi-Fi in modo da poter condividere Interne

  • Windows-Hosted Cell SDK Gratuito

    SDK Cell-BE ospitato in Windows. Questo è il compilatore standard Cell BE Linux SDK e GCC, ma ospitato sotto Windows (Cygwin), con cross-compilation per Cell Linux.

  • Pyana Gratuito

    Pyana è un modulo di estensione che permette ai programmi Python di interfacciarsi con il motore di trasformazione Xalan XSLT della Apache Software Foundation.

  • pw7 Gratuito

    pw7 è un wrapper GnuPG basato su perl che facilita il controllo degli accessi sicuro, crittografato e granulare a un database crittografato di password super-utente.

  • XCV Gratuito

    XCV è un insieme di trasformazioni XSL modulari che generano un Curriculum Vitae compatibile con XHTML da un semplice documento XML di origine. Lo stile e la personalizzazione dei risultati sono semplici, data l'esperienza C

  • Genesis Coupe Navigation Hack Gratuito

    Questo progetto è specificamente per l'hacking con il Navigation Present nella Hyundai Genesis Coupe del 2010.Questo funzionerà solo con i modelli dotati del software di navigazione in auto.

  • B.E.S.S. Gratuito

    Il progetto è stato patrocinato dal programma ungherese G.O.P., id progetto: G.O.P.-1-1-1-08/1-2008-0015. L'obiettivo del progetto era quello di creare il prototipo della migliore crittografia voice over IP end-to-end possibi

  • SyncPro Gratuito

    SyncPro è un pacchetto di visualizzazione destinato ai dati di spettrometria di massa elaborati. Utilizza tecniche di sincronizzazione e stratificazione nella grafica per visualizzare contemporaneamente gruppi di set di dati

  • Generic URL Creator Gratuito

    GUC è un'estensione thunderbird mozilla firefox/mozilla per generare URL al volo da testo selezionato. Fare clic con il pulsante destro del mouse sul testo selezionato e selezionare l'URL da aprire dal menu di scelta rapida.

  • LogScanLauncher Gratuito

    Utilità della riga di comando che monitora i file di registro dell'applicazione e attiva nuovi eventi una volta che una nuova voce nei file di registro soddisfa un'espressione regolare. L'utilità è configurabile modificando l