Invia software
  1. Casa
  2. Linux
  3. Altro
  4. EulerSharp

EulerSharp 2011-06-24

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

Euler è un motore di inferenza che supporta dimostrazioni basate sulla logica. È un ragionatore a catena all'indietro migliorato con il rilevamento del percorso di Eulero. Ha implementazioni in Java, C#, Python, Javascript e Prolog. Via N3 è interoperabile con W3C Cwm.

cronologia delle versioni

  • Versione Euler-2011-06-24 pubblicato il 2011-06-25
  • Versione Euler-2011-03-25 pubblicato il 2011-03-25
    Diverse correzioni e aggiornamenti

Dettagli del programma

Programmi correlati

  • g15tools Gratuito

    Strumenti userspace per la tastiera logitech g15. Questi strumenti possono essere utilizzati per visualizzare contenuti personalizzati sull'lcd e anche per gestire i tasti aggiuntivi della tastiera.

  • ARNUX Gratuito

    Benvenuti in ARNUX : Open Source Embedded Linux Project. Prima distro Linux incorporata in turco. Un sistema operativo sia integrato che basato su console. Sponsorizzato da ARDIC (Applied Research Development Innovation Cente

  • Squirrel Shell Gratuito

    Squirrel Shell è un'alternativa multipiattaforma alle shell di sistema come bash in Linux e cmd.exe in Microsoft Windows. Si basa sul linguaggio di scripting "Scoiattolo".

  • wekula - A web interface to Bacula Gratuito

    wekula è un'interfaccia web del sistema di backup Bacula. Con esso sarai in grado di modificare le impostazioni di Bacula, interrompere / avviare Bacula daemon, eseguire ricerca e ripristino di singoli file ... Inoltre fornir

  • libfallocate Gratuito

    I file system possono evitare la frammentazione se sanno quanto saranno grandi i file.Questa libreria fornisce un wrapper per fallocate() syscall (come glibc-2.10+), ma conosce anche l'ioctl xfs/ocfs2 e fornisce fallback mi

  • AAT Direct Connect Hub Project Gratuito

    Script e mod hub scritte per migliorare OpenDCHub.Lo script Hub-Security filtra gli utenti non registrati per paese e aggiunge comandi op e funzionalità di sicurezza. Sono disponibili anche script statistici e divertenti. L

  • yydecode -- decodes yEnc/uuencoded binar Gratuito

    yydecode è un decodificatore altamente portatile per binari codificati yEnc suUsenet. Offre funzionalità superiori all'uudecode e può essere utilizzato come sostituto drop-in.

  • ice Updater Gratuito

    ice Updater - soluzione adattabile per l'aggiornamento automatico e centralizzato di MS Office. Ricerca e download internazionali di aggiornamenti rapidi e Service Pack mancanti. Patch di installazione silenziose su computer

  • GACSoft Free Driver Updater Gratuito

    Descrizione di GACSoft Free Driver Updater:Uno strumento driver gratuito per aggiornare in modo eccellente i driver del PC in pochi minuti ...Questo secolo è il tempo della tecnologia dell'informazione. Con il crescente s

  • V-Drive Gratuito

    V-Drive è una piccola applicazione che crea un disco rigido virtuale sul pc Windows che accede ai suoi dati dal tuo spazio web personale fornito dal tuo ISP, Uni ecc. permettendoti di avere un'unità disco a cui puoi accedere