Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. EulerSharp

EulerSharp 2011-06-24

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

Euler est un moteur d’inférence soutenant les preuves basées sur la logique. Il s’agit d’un raisonnement à chaîne arrière amélioré par la détection de chemin Euler. Il a des implémentations en Java, C#, Python, Javascript et Prolog. Via N3, il est interopérable avec W3C Cwm.

historique de la version

  • Version Euler-2011-06-24 posté sur 2011-06-25
  • Version Euler-2011-03-25 posté sur 2011-03-25
    Plusieurs correctifs et mises à jour

Détails du programme

Programmes connexes

  • g15tools Gratuit

    Outils Userspace pour le clavier logitech g15. Ces outils peuvent être utilisés pour afficher du contenu personnalisé sur l’écran lcd et aussi pour gérer les touches supplémentaires du clavier.

  • ARNUX Gratuit

    Bienvenue sur ARNUX : Open Source Embedded Linux Project. Premier distro Linux intégré turc. Un système d’exploitation à la fois intégré et basé sur la console. Parrainé par l’ARDIC (Applied Research Development Innovation Ce

  • Squirrel Shell Gratuit

    Squirrel Shell est une alternative multiplateforme aux coquilles système comme bash dans Linux et cmd.exe dans Microsoft Windows. Il est basé sur le langage de script "Squirrel".

  • wekula - A web interface to Bacula Gratuit

    wekula est l’interface Web du système de sauvegarde Bacula. Avec elle, vous serez en mesure de changer les paramètres Bacula, arrêter / démarrer Bacula daemon, faire une seule recherche de fichiers et de restaurer ... Adition

  • libfallocate Gratuit

    Les systèmes de fichiers peuvent éviter la fragmentation s’ils savent quelle sera la taille des fichiers.Cette bibliothèque fournit un emballage pour le fallocate () syscall (comme glibc-2.10+), mais connaît également le ci

  • AAT Direct Connect Hub Project Gratuit

    Scripts et mods de moyeu écrits pour améliorer OpenDCHub.Le script Hub-Security filtre les utilisateurs non enregistrés par pays et ajoute des commandes op et des fonctionnalités de sécurité. Des scripts statistiques et amu

  • yydecode -- decodes yEnc/uuencoded binar Gratuit

    yydecode est un décodeur hautement portable pour les binaires codés yEnc surUsenet. Il offre des fonctionnalités supérieures à uudecode, et peut être utilisé comme un remplacement drop-in.

  • ice Updater Gratuit

    mise à jour de glace - solution sriptable pour la mise à jour automatisée et centralisé de bureau de MS. Recherche internationale et téléchargement hotfixes manquants et packs de service. Installez silencieusement des correct

  • GACSoft Free Driver Updater Gratuit

    La description de GACSoft Free Driver Updater:Un outil de pilote gratuit pour mettre à jour les pilotes PC en quelques minutes...Ce siècle est l’époque des technologies de l’information. Avec le développement croissant de

  • V-Drive Gratuit

    V-Drive est une petite application qui crée un disque dur virtuel sur votre PC Windows qui accède à ses données à partir de votre espace web personnel fourni par votre FAI, Uni, etc vous permettant d’avoir un disque dur que v