Submit Software
  1. Home
  2. Windows
  3. Other
  4. UNB Theorem Prover?

UNB Theorem Prover?

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎3 ‎votes
Download

Automated Theorem Prover implemented in Java and using clause trees. This software will be able to read mathematical theorems from TPTP and prove or disprove them.

VERSION HISTORY

  • Version N/A posted on 2011-08-05
    Several fixes and updates
  • Version N/A posted on 2011-08-05

Program Details

Related Programs

  • fastAOP Free

    FastAOP is an very high performant AOP (Aspect Oriented Programming) framework for java. The framework was initially developped to support performance profiling and monitoring for large J2EE applications with nearly no runnt

  • Butterfly Code Generator Free

    Butterfly is a simple Code Generator using XMI as the input and XSLT templates to generate any type of code. Several templates are provided including EJB, JDO and Struts. Users may use the templates, modify them or create ne

  • Neural network designer Free

    This project consists out of a windows based designer application and a library (that can run on multiple platforms, including android) together with several demo applications (including an MVC3 chatbot client and an android

  • DL-Learner Free

    DL-Learner is a tool for learning concepts in Description Logics (DLs) from user-provided examples. Equivalently, it can be used to learn classes in OWL ontologies from selected objects.

  • MakeEmbeddedRootfilesystem Free

    Makerootfs makes it easy to build a root filesystem for embedded devices (e.g. ARM based) by automating the cross-compiling process through shell scripts, patches and default configs. Unlike buildroot which uses uClibc, maker

  • VCS Agents and Tools Free

    The goal of this project is to provide plugins ("agents") for the Veritas Cluster Server on an Open Source basis.

  • Etnia Workbench Free

    Extensions to CDT project wich configure extra compilers and other plugins to make integrate various plattform (actually Texas Instrument & PIC microprocessors)

  • Steini\'s Mini Compiler Free

    Steini\'s Mini Compiler is a fast DOS 16 bit compiler. Please help to improve the programming language writing new commands. The compiler uses a set of assembly files for the compilation process.

  • JCustomizer Free

    The target of JCustomizer project is the generic and persistent customization of every Java Swing/AWT GUI at runtime: fonts, colors, texts, accelerators, ... A nice accompaniment is a WYSIWYG access to internationalization wi

  • net.sourceforge.ajstruts Free

    Source code of an article (http://ajstruts.sf.net) published in 11/2003 in the german "Java Magazin" magazine, shows how to adapt 3rd party libs (e.g. struts) to project needs and ease migration to new library versi