Invia software
  1. Casa
  2. Windows
  3. Altro
  4. libLogic

libLogic

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

libLogic è una libreria software per la dimostrazione automatica di teoremi con la capacità ritenuta ineguagliabile di dimostrare correttamente ed efficientemente esattamente tutte le affermazioni dimostrabili in qualsiasi teoria logica di qualsiasi ordine, senza alcun aiuto umano.

cronologia delle versioni

  • Versione N/A pubblicato il 2011-08-12
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-08-12

Dettagli del programma

Programmi correlati

  • CMS Utilities Gratuito

    cmsutils fornisce programmi che consentono di sviluppare, creare e tradurre moduli cms (Postnuke, Xaraya, ...). Scritto in Delphi/Kylix

  • luabridge Gratuito

    Luabridge è una libreria leggera e priva di dipendenze per esportare funzioni e classi C++ in ambienti Lua. Utilizza la metaprogrammazione del modello C++ conforme agli standard ed è scritta su Lua 5.1.2.

  • svgconv Gratuito

    svgconv è uno strumento di contenuto per convertire i tracciati SVG in un formato C che può essere facilmente utilizzato con OpenVG.

  • Mobile StrongBOX - Data Vault Prova gratuita

    La migliore applicazione di protezione dei dati, Mobile StrongBOX è progettata per l'archiviazione sicura di informazioni private, come foto o video, password, dati per conti bancari, documenti e qualsiasi altra cosa tu vog

  • embedded Finite State Machine (eFSM) Gratuito

    Struttura FSM (Finite State Machine) incorporata che può essere utilizzata per modellare e controllare un sistema reattivo o con stato. Il sistema può essere rappresentato da un numero qualsiasi di stati. Le transizioni di st

  • Albert Gratuito

    Albert è un doc-generatore per Common Lisp, paragonabile a Javadoc e Doxygen. Attualmente genera documentazione DocBook. Legge una definizione di sistema ASDF e documenta il sistema.

  • SETILog for Unix Gratuito

    SETILog salva alcune statistiche di un'unità di lavoro SETI@home in un file CSV di testo. Questo file è necessario per SETIWatch per tenere traccia delle unità di lavoro completate.

  • HappyDoc Gratuito

    HappyDoc è uno strumento per estrarre documentazione dal codice sorgente Python. Differisce da altre applicazioni di questo tipo per il fatto che utilizza l'albero di analisi per un modulo per derivare le informazioni e non

  • OpenCL .Net Gratuito

    Questo progetto tenta di fare due cose. Innanzitutto, fornisce associazioni all'API OpenCL che rispecchiano il più vicino possibile le specifiche OpenCL 1.1. In secondo luogo, fornisce un'astrazione di livello superiore dell'

  • PAPAS: Path Planning Algorithm Suite Gratuito

    PAPAS (Path Planning Algorithms Suite) è un insieme di algoritmi destinati alla pianificazione del percorso. Ha algoritmi comuni come PRM, RRT, Wavefront Planner, ecc. L'implementazione viene eseguita in linguaggio C e il cod