libLogic

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 3.0/5 - ‎1 ‎Stemmen

libLogic is een software bibliotheek voor geautomatiseerde stelling bewijzen met de geloofde-to-be-ongeëvenaarde vermogen om correct en efficiënt te bewijzen precies alle aantoonbare uitspraken in een logische theorie van elke orde, zonder menselijke hulp.

versiegeschiedenis

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

Programmadetails