Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. UNB Theorem Prover?

UNB Theorem Prover?

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

Автоматизированная теорема Prover реализована в Java и с использованием деревьев оговорок. Это программное обеспечение будет в состоянии читать математические теоремы из TPTP и доказать или опровергнуть их.

история версии

  • Версия N/A размещено на 2011-08-05
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-08-05

Подробная информация о программе

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

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

    FastAOP — это очень высокая производительность AOP (Aspect Oriented Programming) для Java. Рамки изначально были разрабатывается для поддержки профилирования производительности и мониторинга для больших приложений J2EE, пра

  • Butterfly Code Generator Бесплатный

    Бабочка — это простой генератор кода, использующий XMI в качестве входных и XSLT-шаблонов для создания любого типа кода. Предоставляется несколько шаблонов, включая EJB, JDO и Struts. Пользователи могут использовать шаблоны,

  • Neural network designer Бесплатный

    Этот проект состоит из окна на основе дизайнерского приложения и библиотеки (которая может работать на нескольких платформах, в том числе андроид) вместе с несколькими демо-приложений (в том числе MVC3 чат-бот клиента и андро

  • DL-Learner Бесплатный

    DL-Learner является инструментом для изучения концепций в логике описания (DLs) из предоставленных пользователями примеров. Аналогичным образом, он может быть использован для изучения классов в онтологиях OWL из выбранных объ

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

    Makerootfs упрощает создание корневой файловой системы для встроенных устройств (например, на основе ARM) путем автоматизации процесса перекрестной компиляции с помощью скриптов оболочки, патчей и конфиг по умолчанию. В отлич

  • VCS Agents and Tools Бесплатный

    Целью этого проекта является предоставление плагинов (квота;агенты)) для кластерного сервера Veritas на основе открытого источника.

  • Etnia Workbench Бесплатный

    Расширения для CDT проекта Wich настроить дополнительные компиляторы и другие плагины, чтобы интегрировать различные plattform (на самом деле Техас инструмент и ПИК микропроцессоров)

  • Steini\'s Mini Compiler Бесплатный

    Мини-компилятор Steini's является быстрым компилятором DOS 16 битов. Пожалуйста, помогите улучшить язык программирования, пишущий новые команды. Компилятор использует набор сборочных файлов для процесса компиляции.

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

    Целью проекта JCustomizer является общая и постоянная настройка каждого графического интерфейса Java Swing/AWT во время выполнения: шрифты, цвета, тексты, ускорители, ... Хорошим сопровождением является доступ WYSIWYG к интер

  • net.sourceforge.ajstruts Бесплатный

    Исходный код статьи (http://ajstruts.sf.net), опубликованной в 11/2003 в немецкой цитате;Java Magazin'quot; журнал, показывает, как адаптировать libs третьей стороны (например, стойки) к потребностям проекта и облегчить мигра