Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. spassgui

spassgui 0.5

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

Spassgui adalah Gui berasaskan Perl / Tk untuk SPASS (Pebah Teorem Automatik untuk Logik Pesanan Pertama dengan Kesaksamaan) http://spass.mpi-sb.mpg.de .

sejarah versi

  • Versi 0.5 diposkan pada 2004-12-07
    Beberapa pembaikan dan pengemaskinian
  • Versi 0.5 diposkan pada 2004-12-07

Butiran Atur Cara

Atur Cara Berkaitan

  • Dynamis Percuma

    Dynamis adalah koleksi alat perisian untuk mengkaji sistem dinamik termasuk serpihan kod untuk sistem lain (R, GNU octave) dan program kendiri.

  • WordTalk JA japan Percuma

    * Ciri WordTalk- Membantu menghafal perkataan- Hafal interaktif- Downaload wordbook melalui internet (wordbook.daum.net)

  • Poll Anywhere Percubaan Percuma

    Tuding telefon Android anda ke dalam sistem respons pengundian. Ini adalah aplikasi yang sempurna untuk guru atau penyampai yang ingin bertanya soalan atau mengundi pelajar / khalayak mereka dan mengumpul data. Undian Di ma

  • EBook Reader & EPUB Reader Percubaan Percuma

    Pembaca EBook adalah pemapar dokumen yang cepat dan sangat disesuaikan untuk Android. Bantu anda mengakses dengan mudah, menguruskan semua ebook anda.Menyokong format:epub, rtf, fb2 (.zip), mobi, dan fail teks biasa.

  • HoneyBSD Percuma

    Projek yang bertujuan untuk mewujudkan persekitaran BSD patuh POSIX yang lengkap untuk pengkomputeran berteknet tinggi.

  • The Free Dictionary English Percuma

    Aplikasi Tidak Rasmi Kamus Percuma Bahasa Inggeris (thefreedictionary.com, en.thefreedictionary.com, kamus Dalam Talian Percuma - Kamus Berbilang, termasuk:- Bahasa: Bahasa Inggeris, Bahasa Sepanyol, Bahasa Jerman, Perancis,

  • Dinucleotide signatures Percuma

    Projek ini mengandungi satu set fail (Perl, Java, dan pakej R) yang digunakan untuk melakukan analisis tandatangan oligonucleotide dalam metagenomes dan genom.

  • METS Editor (SobekCM) Percuma

    Aplikasi borang Windows mencipta fail metadata patuh METS untuk sumber pustaka digital. Ia membolehkan pengguna memasukkan semua maklumat bibliografi, dan memperuntukkan nama halaman dan bahagian kepada peta struktur. Menyoko

  • IELTS PREP Percubaan Percuma

    Muat turun sekarang dan manfaatkan ciri aplikasi & ndash; & lembu jantan; Hanya Aplikasi IELTS untuk menampung bahan prep dan ujian untuk semua 4 bahagian & ndash; Mendengar, Membaca, Menulis dan Bercakap&am

  • BANNER Named Entity Recognition System Percuma

    BANNER adalah sistem pengiktirafan entiti yang dinamakan yang dimaksudkan terutamanya untuk teks bioperubatan. Ia menggunakan medan rawak bersyarat sebagai enjin pengiktirafan utama dan termasuk tinjauan meluas teknik terbaik