Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. UNB Theorem Prover?

UNB Theorem Prover?

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎3 ‎Stemmen
Downloaden

Geautomatiseerde Stelling Prover geïmplementeerd in Java en met behulp van clausule bomen. Deze software zal in staat zijn om wiskundige stellingen van TPTP te lezen en te bewijzen of te weerleggen.

versiegeschiedenis

  • Versie N/A geplaatst op 2011-08-05
    Verschillende oplossingen en updates
  • Versie N/A geplaatst op 2011-08-05

Programmadetails

Gerelateerde programma's

  • fastAOP Gratis

    FastAOP is een zeer hoog performant AOP (Aspect Oriented Programming) framework voor Java. Het kader werd aanvankelijk ontwikkeld om prestatieprofilering en monitoring te ondersteunen voor grote J2EE-toepassingen zonder ove

  • Butterfly Code Generator Gratis

    Butterfly is een eenvoudige codegenerator die XMI gebruikt als invoer- en XSLT-sjablonen om elk type code te genereren. Er zijn verschillende sjablonen aanwezig, waaronder EJB, JDO en Struts. Gebruikers kunnen de sjablonen g

  • Neural network designer Gratis

    Dit project bestaat uit een windows gebaseerde designer applicatie en een bibliotheek (die kan draaien op meerdere platforms, waaronder Android) samen met verschillende demo-applicaties (waaronder een MVC3 chatbot client en e

  • DL-Learner Gratis

    DL-Learner is een hulpmiddel voor het leren van concepten in Description Logics (DLs) uit door de gebruiker verstrekte voorbeelden. Evenzo kan het worden gebruikt om lessen te leren in OWL ontologieën van geselecteerde object

  • MakeEmbeddedRootfilesystem Gratis

    Makerootfs maakt het eenvoudig om een root-bestandssysteem voor embedded devices (bijvoorbeeld ARM-gebaseerd) te bouwen door het cross-compileren proces te automatiseren via shell scripts, patches en standaard configs. In teg

  • VCS Agents and Tools Gratis

    Het doel van dit project is om plugins ("agents") te leveren voor de Veritas Cluster Server op Open Source basis.

  • Etnia Workbench Gratis

    Uitbreidingen naar CDT-project die extra compilers en andere plug-ins configureren om verschillende plattform (eigenlijk Texas Instrument & PIC microprocessors) te integreren

  • Steini\'s Mini Compiler Gratis

    Steini\\ Gelieve te helpen bij het verbeteren van de programmeertaal het schrijven van nieuwe commando's. De compiler gebruikt een set assemblagebestanden voor het compilatieproces.

  • JCustomizer Gratis

    Het doel van JCustomizer project is de generieke en aanhoudende aanpassing van elke Java Swing / AWT GUI op runtime: lettertypen, kleuren, teksten, versnellers, ... Een leuke begeleiding is een WYSIWYG toegang tot internation

  • net.sourceforge.ajstruts Gratis

    Broncode van een artikel (http://ajstruts.sf.net) gepubliceerd in 11/2003 in het Duitse "Java Magazin" magazine, laat zien hoe je libs van derden (bijvoorbeeld veerpoten) aanpassen aan projectbehoeften en migratie n