EulerSharp 2011-06-24
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/eulersharp/files/eulersharp/Euler-2011-06-24/Euler-2011-06-24.zip/download
acerca de EulerSharp
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.
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