Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. PLMan - Propositional Logic Parser
  5. Download

PLMan - Propositional Logic Parser 2.0

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

О PLMan - Propositional Logic Parser

PLMan является предложение логики предложение парсер / калькулятор с переменной возможности обработки, реализованные в Java, что означает, что она работает на каждом JVM установленная среда (Unix, Linux, Windows и т.д.).

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

  • BenQ Laptop to Hotspot Converter Бесплатная пробная версия

    Ноутбук Бене в Hotspot Converter преобразует ваш ноутбук Ben' в беспроводную точку доступа.С помощью этого программного обеспечения, ваш ноутбук Бене (платформа Windows) превратился в точку доступа Wi-Fi, так что вы може

  • Windows-Hosted Cell SDK Бесплатный

    Ячейка-BE SDK, размещенная в Windows. Это стандартные компиляторы Cell BE Linux SDK и GCC, но размещенные под Windows (Cygwin), с кросс-компиляцией для Cell Linux.

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

    Pyana — это модуль расширения, позволяющий программам Python взаимодействовать с двигателем трансформации Xalan XSLT фонда Apache Software Foundation.

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

    pw7 — это обертка GnuPG на основе perl, которая облегчает безопасное, зашифрованное, гранулированное управление доступом к зашифрованной базе данных паролей супер-пользователей.

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

    XCV представляет собой набор модульных преобразований XSL, которые генерируют XHTML-совместимый curriculum Vitae из простого источника документа XML. Укладка и настройка результатов просты, учитывая опыт CSS и/или HTML - и н

  • Genesis Coupe Navigation Hack Бесплатный

    Этот проект специально для взлома с навигацией настоящее время в 2010 Hyundai Genesis Coupe.Это будет работать только с моделями, оснащенными в автомобиле навигационного программного обеспечения.

  • B.E.S.S. Бесплатный

    Этот проект был спонсирован венгерской программой G.O.P., идентификатором проекта: G.O.P.-1-1-1-08/1-2008-0015. Целью проекта было создание прототипа наилучшего из возможных конечных голосов над шифрованием IP на основе биоме

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

    SyncPro - это пакет визуализации, ориентированный на обработанные данные масс-спектрометрии. Он использует технологии синхронизации и наслоения в графике для одновременной визуализации групп наборов данных MS.

  • Generic URL Creator Бесплатный

    GUC — это расширение Mozilla Firefox/Mozilla thunderbird для создания URL-адресов на лету из выбранного текста. Просто нажмите право выбранного текста и выберите URL, чтобы открыть из меню контекста. Extermely полезно для кат

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

    Утилита командной линии, которая отслеживает журналы приложений и запускает новые события после того, как новая запись в файлах журнала удовлетворяет обычному выражению. Утилита настраивается путем внесения изменений в записи