Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. EulerSharp

EulerSharp 2011-06-24

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos
Descargar

Euler es un motor de inferencia que soporta pruebas basadas en lógica. Es un razonamiento de cadena hacia atrás mejorado con la detección de caminos de Euler. Tiene implementaciones en Java, C, Python, Javascript y Prolog. A través de N3 es interoperable con W3C Cwm.

historial de versiones

  • Versión Euler-2011-06-24 publicado en 2011-06-25
  • Versión Euler-2011-03-25 publicado en 2011-03-25
    Varias correcciones y actualizaciones

Detalles del programa

Programas relacionados

  • g15tools Gratis

    Herramientas de espacio de usuario para el teclado logitech g15. Estas herramientas se pueden utilizar para mostrar contenido personalizado en el lcd y también para manejar las teclas adicionales del teclado.

  • ARNUX Gratis

    Bienvenido a ARNUX : Open Source Embedded Linux Project. Primera distribución linux integrada turca. Un sistema operativo integrado y basado en consola. Patrocinado por ARDIC (Applied Research Development Innovation Center) h

  • Squirrel Shell Gratis

    Squirrel Shell es una alternativa multiplataforma a shells del sistema como bash en Linux y cmd.exe en Microsoft Windows. Se basa en el lenguaje de scripting "Squirrel".

  • wekula - A web interface to Bacula Gratis

    wekula es una interfaz web para el sistema de copia de seguridad Bacula. Con él usted será capaz de cambiar la configuración de Bacula, detener / iniciar el demonio Bacula, hacer búsqueda de un solo archivo &restaurar...

  • libfallocate Gratis

    Los sistemas de archivos pueden evitar la fragmentación si saben lo grandes que serán los archivos.Esta biblioteca proporciona un contenedor para el syscall fallocate() (como glibc-2.10+), pero también conoce el ioctl xfs/o

  • AAT Direct Connect Hub Project Gratis

    Scripts y mods de hub escritos para mejorar OpenDCHub.El script de Hub-Security filtra los usuarios no registrados por país y agrega comandos de operación y características de seguridad. También hay disponibles guiones esta

  • yydecode -- decodes yEnc/uuencoded binar Gratis

    yydecode es un decodificador altamente portátil para binarios codificados yEnc enUsenet. Ofrece una funcionalidad superior al uudecode, y se puede utilizar como un reemplazo directo.

  • ice Updater Gratis

    ice Updater - solución sriptable para la actualización automatizada y centralizada de MS Office. Búsqueda internacional y descarga de revisiones y Service Packs que faltan. Parches de instalación silenciosos en un equipo loca

  • GACSoft Free Driver Updater Gratis

    La descripción de GACSoft Free Driver Updater:Una herramienta de controlador gratuita para actualizar excelentemente los controladores de PC en cuestión de minutos...Este siglo es el tiempo de la tecnología de la informac

  • V-Drive Gratis

    V-Drive es una pequeña aplicación que crea un disco duro virtual en tu PC con Windows que accede a sus datos desde tu espacio web personal proporcionado por tu ISP, Uni, etc. permitiéndote tener una unidad de disco a la que p