spassgui 0.5
Вы сможете скачать в течение 5 секунд.
Вы также можете нажать на следующую внешнюю ссылку скачать, чтобы начать загрузку:
http://sourceforge.net/projects/spassgui/files/spassgui/0.5/spassgui-0.5.tar.bz2/download
О 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 - это названная система распознавания сущностей, предназначенная в первую очередь для биомедицинского текста. Он использует условные случайные поля в качестве основного двигателя распознавания и включает в себя широкий