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

spassgui 0.5

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

О spassgui

Spassgui является Perl / Tk основе Gui для SPASS (Автоматизированная теорема Prover для первого порядка логики с равенством) http://spass.mpi-sb.mpg.de .

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

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

    Dynamis представляет собой набор программных средств для изучения динамических систем, включая фрагменты кода для других систем (R, GNU octave) и автономных программ.

  • WordTalk JA japan Бесплатный

    Функции WordTalk- Помогите запомнить слова- Интерактивное запоминание- Downaload книги слов через Интернет (wordbook.daum.net)

  • Poll Anywhere Бесплатная пробная версия

    Превратите свой телефон Android в систему реагирования на опросы. Это идеальное приложение для учителей или докладчиков, которые хотят задавать вопросы или опроса своих студентов / аудитории и собирать данные. Опрос Anywher

  • EBook Reader & EPUB Reader Бесплатная пробная версия

    EBook Reader является быстрым и очень настраиваемым просмотром документов для Android. Помочь вам легко получить доступ, управлять всеми вами книги.Поддерживает форматы:epub, rtf, fb2 (.zip), mobi и простой текстовый фа

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

    Проект, направленный на создание полной среды POSIX, соответствующей BSD для высокопроизводительных вычислений.

  • The Free Dictionary English Бесплатный

    Неофициальное приложение Бесплатный словарь английский (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Бесплатный онлайн словарь - Несколько словарей, в том числе: Английский, испанский, немецкий, французс

  • Dinucleotide signatures Бесплатный

    Этот проект содержит набор файлов (Perl, Java и R пакет), используемых для выполнения анализа сигнатных сигнатов в метагеномах и геномах.

  • METS Editor (SobekCM) Бесплатный

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

  • IELTS PREP Бесплатная пробная версия

    Скачать сейчас и воспользоваться функциями приложения ndash; «Бык; Только IELTS App для покрытия подготовительный материал и тесты для всех 4 разделов ndash; Прослушивание, чтение, письмо и разговорная речьБык; Каждый н

  • BANNER Named Entity Recognition System Бесплатный

    BANNER - это названная система распознавания сущностей, предназначенная в первую очередь для биомедицинского текста. Он использует условные случайные поля в качестве основного двигателя распознавания и включает в себя широкий