Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. libLogic
  5. Download

libLogic

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

Over libLogic

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.

Gerelateerde programma's

  • CMS Utilities Gratis

    cmsutils biedt programma's die u helpen bij het ontwikkelen, creëren en vertalen van cms (Postnuke, Xaraya, ...) modules. Geschreven in Delphi/Kylix

  • luabridge Gratis

    Luabridge is een lichtgewicht, afhankelijkheidsvrije bibliotheek voor het exporteren van C++-functies en -klassen naar Lua-omgevingen. Het maakt gebruik van standaard-compliant C + + template metaprogramming en is geschreven

  • svgconv Gratis

    svgconv is een content tool om SVG-paden om te zetten in een C-indeling die gemakkelijk kan worden gebruikt met OpenVG.

  • Mobile StrongBOX - Data Vault Gratis proefperiode

    Mobile StrongBOX, de beste toepassing voor gegevensbescherming, is ontworpen voor het veilig opslaan van privé-informatie, zoals foto's of video's, wachtwoorden, gegevens voor bankrekeningen, documenten en alles wat u wilt

  • embedded Finite State Machine (eFSM) Gratis

    De ingebouwde Finite State Machine (FSM) Faciliteit die kan worden gebruikt om een reactief of stateful systeem te modelleren en te bedienen. Het systeem kan worden vertegenwoordigd door een aantal staten. De overgangen van d

  • Albert Gratis

    Albert is een doc-generator voor Common Lisp, vergelijkbaar met Javadoc en Doxygen. Momenteel genereert het DocBook-documentatie. Het leest een ASDF-systeemdefinitie en documenteert het systeem.

  • SETILog for Unix Gratis

    SETILog slaat enkele statistieken op van een voltooide SETI@home-werkeenheid in een CSV-tekstbestand. Dit bestand is nodig door SETIWatch om de voltooide werkeenheden bij te houden.

  • HappyDoc Gratis

    HappyDoc is een hulpmiddel voor het extraheren van documentatie uit Python-broncode. Het verschilt van andere dergelijke toepassingen door het feit dat het de parseboom voor een module gebruikt om de informatie af te leiden

  • OpenCL .Net Gratis

    Dit project probeert twee dingen te doen. Ten eerste biedt het bindingen aan de OpenCL API die de OpenCL 1.1 spec zo goed mogelijk weerspiegelen. Ten tweede biedt het een abstractie op een hoger niveau van de API die meer is.

  • PAPAS: Path Planning Algorithm Suite Gratis

    PAPAS (Path Planning Algorithms Suite) is een set algoritmen die bedoeld zijn voor padplanning. Het heeft gemeenschappelijke algoritmen zoals PRM, RRT, Wavefront Planner, enz. De implementatie gebeurt in C-taal en de code is