Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. EulerSharp

EulerSharp 2011-06-24

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

Euler is een gevolgtrekkingsmotor die op logica gebaseerde bewijzen ondersteunt. Het is een achterwaartse chaining reasoner versterkt met Euler pad detectie. Het heeft implementaties in Java, C#, Python, Javascript en Prolog. Via N3 is het interoperabel met W3C Cwm.

versiegeschiedenis

  • Versie Euler-2011-06-24 geplaatst op 2011-06-25
  • Versie Euler-2011-03-25 geplaatst op 2011-03-25
    Verschillende oplossingen en updates

Programmadetails

Gerelateerde programma's

  • g15tools Gratis

    Userspace tools voor het logitech g15-toetsenbord. Deze tools kunnen worden gebruikt om aangepaste inhoud op het lcd-scherm weer te geven en ook om de extra toetsen van het toetsenbord te verwerken.

  • ARNUX Gratis

    Welkom bij ARNUX : Open Source Embedded Linux Project. Eerste Turkse embedded Linux distro. Een besturingssysteem zowel embedded als console gebaseerd. Gesponsord door ARDIC (Applied Research Development Innovation Center) ht

  • Squirrel Shell Gratis

    Squirrel Shell is een cross-platform alternatief voor systeemshells zoals bash in Linux en cmd.exe in Microsoft Windows. Het is gebaseerd op scripting taal "Squirrel".

  • wekula - A web interface to Bacula Gratis

    wekula is webinterface naar Bacula back-up systeem. Hiermee u bacula-instellingen wijzigen, Bacula daemon stoppen/starten, enkel bestand zoeken en herstellen... Aditional het zal handige PHP-interface te Bacula client en Bacu

  • libfallocate Gratis

    Filesystems kunnen fragmentatie voorkomen als ze weten hoe grote bestanden zullen zijn.Deze bibliotheek biedt een wrapper voor de fallocate() syscall (zoals glibc-2.10+), maar kent ook de xfs/ocfs2 ioctl en biedt fallbacks

  • AAT Direct Connect Hub Project Gratis

    Scripts en hubmods die zijn geschreven om OpenDCHub te verbeteren.Het Hub-Security-script filtert niet-geregistreerde gebruikers per land en voegt op-opdrachten en beveiligingsfuncties toe. Statistische en leuke scripts zij

  • yydecode -- decodes yEnc/uuencoded binar Gratis

    ydecode is een zeer draagbare decoder voor yEnc gecodeerde binaries opUsenet. Het biedt superieure functionaliteit voor uudecode, en kan worden gebruikt als een drop-in vervanging.

  • ice Updater Gratis

    ice Updater - sriptable oplossing voor geautomatiseerde en gecentraliseerde MS Office update. Internationaal zoeken en downloaden ontbrekende hotfixes en servicepacks. Installeer stille patches op lokale of externe machine -

  • GACSoft Free Driver Updater Gratis

    De beschrijving van GACSoft Free Driver Updater:Een gratis driver tool om pc-stuurprogramma's uitstekend bij te werken in slechts enkele minuten...Deze eeuw is de tijd van de informatieve technologie. Met de toenemende on

  • V-Drive Gratis

    V-Drive is een kleine applicatie die een virtuele harde schijf op uw Windows-pc die toegang heeft tot de gegevens van uw persoonlijke webspace die door uw ISP, Uni etc. zodat u een schijfstation dat u openen vanaf elke Window