Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. spassgui
  5. Download

spassgui 0.5

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 5.0/5 - ‎1 ‎Głosów

O spassgui

Spassgui jest Perl / Tk oparte Gui dla SPASS (Automated Theorem Prover for First-Order Logic with Equality) przez http://spass.mpi-sb.mpg.de .

Programy pokrewne

  • Dynamis Wolna

    Dynamis to zbiór narzędzi programowych do badania systemów dynamicznych, w tym fragmentów kodu dla innych systemów (oktawa R, GNU) i samodzielnych programów.

  • WordTalk JA japan Wolna

    * Funkcje WordTalk- Pomoc w zapamiętywania słów- Interaktywne zapamiętywania- Downaload wordbook przez Internet (wordbook.daum.net)

  • Poll Anywhere Bezpłatna wersja próbna

    Zamień swój telefon z Androidem w system odpowiedzi sondowania. Jest to idealna aplikacja dla nauczycieli lub prezenterów, którzy chcą zadawać pytania lub sondować swoich uczniów / odbiorców i zbierać dane. Poll Anywhere zb

  • EBook Reader & EPUB Reader Bezpłatna wersja próbna

    EBook Reader to szybka i wysoce konfigurowalna przeglądarka dokumentów dla Androida. Pomóż ci łatwo uzyskać dostęp, zarządzać wszystkimi ebookami.Obsługuje formaty:epub, rtf, fb2(.zip), mobi i plik tekstowy.Najważnie

  • HoneyBSD Wolna

    Projekt mający na celu stworzenie kompletnego środowiska BSD zgodnego z POSIX dla obliczeń o wysokiej wydajności.

  • The Free Dictionary English Wolna

    Nieoficjalna aplikacja Darmowy słownik angielski (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Free Online Dictionary - Wiele słowników, w tym: - Języki: angielski, hiszpański, niemiecki, francuski, włos

  • Dinucleotide signatures Wolna

    Ten projekt zawiera zestaw plików (Perl, Java i pakiet R) używanych do przeprowadzania analizy sygnatur oligonukleotydów w metagenomach i genomach.

  • METS Editor (SobekCM) Wolna

    Aplikacja formularza systemu Windows tworzy pliki metadanych zgodne ze standardem METS dla zasobów biblioteki cyfrowej. Umożliwia użytkownikowi wprowadzenie wszystkich informacji bibliograficznych i przypisanie nazw stron i p

  • IELTS PREP Bezpłatna wersja próbna

    Pobierz teraz i skorzystaj z funkcji aplikacji – • Tylko IELTS App na pokrycie materiałów przygotowawczych i testów dla wszystkich 4 sekcji – Słuchanie, czytanie, pisanie i mówienie• Każda umiejętn

  • BANNER Named Entity Recognition System Wolna

    BANNER to nazwany system rozpoznawania jednostek przeznaczony głównie do tekstu biomedycznego. Wykorzystuje warunkowe pola losowe jako główny aparat rozpoznawania i zawiera szeroką ankietę najlepszych technik opisanych w najn