Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. UNB Theorem Prover?

UNB Theorem Prover?

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎3 ‎Votes
Télécharger

Theorem Prover automatisé mis en œuvre en Java et en utilisant des arbres clause. Ce logiciel sera capable de lire les théoriques mathématiques de TPTP et de les prouver ou de les réfuter.

historique de la version

  • Version N/A posté sur 2011-08-05
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-08-05

Détails du programme

Programmes connexes

  • fastAOP Gratuit

    FastAOP est un cadre AOP (Aspect Oriented Programming) très performant pour java. Le cadre a d’abord été développé pour prendre en charge le profilage et la surveillance des performances pour les grandes applications J2EE a

  • Butterfly Code Generator Gratuit

    Butterfly est un générateur de code simple utilisant XMI comme l’entrée et les modèles XSLT pour générer n’importe quel type de code. Plusieurs modèles sont fournis, y compris EJB, JDO et Struts. Les utilisateurs peuvent uti

  • Neural network designer Gratuit

    Ce projet se compose d’une application de concepteur basée sur windows et d’une bibliothèque (qui peut fonctionner sur plusieurs plates-formes, y compris Android) ainsi que de plusieurs applications de démonstration (y compri

  • DL-Learner Gratuit

    DL-Learner est un outil d’apprentissage des concepts dans Description Logics (DLs) à partir d’exemples fournis par l’utilisateur. De même, il peut être utilisé pour apprendre des cours d’ontologie owl à partir d’objets sélect

  • MakeEmbeddedRootfilesystem Gratuit

    Makerootfs facilite la construction d’un système de fichiers racine pour les périphériques embarqués (par exemple basé sur ARM) en automatisant le processus de compilation croisée à travers des scripts shell, des correctifs e

  • VCS Agents and Tools Gratuit

    L’objectif de ce projet est de fournir des plugins ("agents") pour le serveur de cluster Veritas sur une base Open Source.

  • Etnia Workbench Gratuit

    Extensions du projet CDT qui configurent des compilateurs supplémentaires et d’autres plugins pour intégrer divers plattformes (en fait des microprocesseurs Texas Instrument & PIC)

  • Steini\'s Mini Compiler Gratuit

    Steini \'s Mini Compiler est un compilateur rapide DOS 16 bits. S’il vous plaît aider à améliorer le langage de programmation écrit de nouvelles commandes. Le compilateur utilise un ensemble de fichiers d’assemblage pour le p

  • JCustomizer Gratuit

    La cible du projet JCustomizer est la personnalisation générique et persistante de chaque interface graphique Java Swing/AWT à l’heure d’exécution : polices, couleurs, textes, accélérateurs, ... Un bel accompagnement est un a

  • net.sourceforge.ajstruts Gratuit

    Le code source d’un article (http://ajstruts.sf.net) publié en 11/2003 dans le magazine allemand "Java Magazin" montre comment adapter les libs tiers (par exemple les jambes de force) aux besoins du projet et facili