Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. EulerSharp
  5. Download

EulerSharp 2011-06-24

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов

О EulerSharp

Euler является вывод двигателя поддержки логики на основе доказательств. Это обратный цепной reasoner усиливается с обнаружением пути Euler. Он имеет реализации в Java, C, Python, Javascript и Prolog. Via N3 совместим с W3C Cwm.

Похожие программы

  • g15tools Бесплатный

    Инструменты userspace для клавиатуры logitech g15. Эти инструменты могут быть использованы для отображения пользовательского контента на lcd, а также для обработки дополнительных клавиш клавиатуры.

  • ARNUX Бесплатный

    Добро пожаловать в ARNUX : Проект Linux с открытым исходным кодом. Первый турецкий встроенный дистрибутив Linux. Операционная система, как встроенная, так и консольная. При поддержке ARDIC (Инновационный центр прикладных иссл

  • Squirrel Shell Бесплатный

    Белка Shell является кросс-платформенной альтернативой системных оболочек, как Баш в Linux и cmd.exe в Microsoft Windows. Он основан на языке сценариев (цитата;Белка);.

  • wekula - A web interface to Bacula Бесплатный

    wekula является веб-интерфейс для системы резервного копирования Bacula. С его помощью вы сможете изменить настройки Bacula, остановить / начать Bacula daemon, сделать один поиск файлов и восстановить ... Aditional это обеспе

  • libfallocate Бесплатный

    Файлосистемы могут избежать фрагментации, если они знают, насколько большими будут файлы.Эта библиотека обеспечивает обертку для fallocate () syscall (например, glibc-2.10 "), но также знает xfs/ocfs2 ioctl и обеспечивает о

  • AAT Direct Connect Hub Project Бесплатный

    Сценарии и концентратор модов, написанных для повышения OpenDCHub.Скрипт Hub-Security фильтрует незарегистрированных пользователей по стране и добавляет оп-команды и функции безопасности. Статистические и забавные сценарии

  • yydecode -- decodes yEnc/uuencoded binar Бесплатный

    yydecode является весьма портативный декодер для yEnc закодированных биенариев наUsenet. Он предлагает превосходную функциональность uudecode, и может быть использован в качестве замены дроп-иноа.

  • ice Updater Бесплатный

    Ice Updater - sriptable решение для автоматизированного и централизованного обновления MS Office. Международный поиск и скачать недостающие hotfixes и пакеты услуг. Тихая установка патчей на локальной или удаленной машине - н

  • GACSoft Free Driver Updater Бесплатный

    Описание GACSoft Бесплатный драйвер Updater:Бесплатный инструмент драйвера, чтобы отлично обновить драйверы ПК всего за несколько минут ...Это столетие – время информационных технологий. С ростом развития высоких научных

  • V-Drive Бесплатный

    V-Drive это небольшое приложение, которое создает виртуальный жесткий диск на вашем компьютере Windows, который получает доступ к своим данным из вашего личного веб-пространства, предоставляемого вашим провайдером, Uni и т.д.