Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. spassgui

spassgui 0.5

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

Spassgui adalah Gui berbasis Perl / Tk untuk SPASS (Prover Theorem Otomatis untuk Logika Urutan Pertama dengan Kesetaraan) http://spass.mpi-sb.mpg.de .

Riwayat versi

  • Versi 0.5 diposting di 2004-12-07
    Beberapa perbaikan dan pembaruan
  • Versi 0.5 diposting di 2004-12-07

Detil Program

Program Terkait

  • Dynamis Gratis

    Dynamis adalah kumpulan alat perangkat lunak untuk mempelajari sistem dinamis termasuk fragmen kode untuk sistem lain (R, GNU octave) dan program mandiri.

  • WordTalk JA japan Gratis

    * Fitur WordTalk- Membantu menghafal kata-kata- Hafalan interaktif- Downaload buku wordbook melalui internet (wordbook.daum.net)

  • Poll Anywhere Uji Coba Gratis

    Ubah ponsel Android Anda menjadi sistem respons polling. Ini adalah aplikasi sempurna untuk guru atau penyaji yang ingin mengajukan pertanyaan atau polling siswa / audiens mereka dan mengumpulkan data. Poll Anywhere mengump

  • EBook Reader & EPUB Reader Uji Coba Gratis

    EBook Reader adalah penampil dokumen yang cepat dan sangat dapat disesuaikan untuk Android. Membantu Anda dengan mudah mengakses, mengelola semua ebook Anda.Mendukung format:epub, rtf, fb2(.zip), mobi, dan file teks bia

  • HoneyBSD Gratis

    Proyek yang bertujuan untuk menciptakan lingkungan BSD yang sesuai dengan POSIX lengkap untuk komputasi kinerja tinggi.

  • The Free Dictionary English Gratis

    Aplikasi Tidak Resmi Kamus Gratis Bahasa Inggris (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Kamus Online Gratis - Beberapa kamus, termasuk:- Bahasa: Bahasa Inggris, Bahasa Spanyol, Bahasa Jerman, Baha

  • Dinucleotide signatures Gratis

    Proyek ini berisi sekumpulan file (Perl, Java, dan paket R) yang digunakan untuk melakukan analisis tanda tangan oligonukleotida dalam metagenom dan genom.

  • METS Editor (SobekCM) Gratis

    Aplikasi formulir Windows membuat file metadata yang mematuhi METS untuk sumber daya pustaka digital. Ini memungkinkan pengguna untuk memasukkan semua informasi bibliografi, dan menetapkan nama halaman dan divisi ke peta stru

  • IELTS PREP Uji Coba Gratis

    Unduh sekarang dan manfaatkan fitur aplikasi – & Banteng; Hanya Aplikasi IELTS yang mencakup materi persiapan dan pengujian untuk semua 4 bagian & ndash; Mendengarkan, Membaca, Menulis, dan Berbicara&

  • BANNER Named Entity Recognition System Gratis

    BANNER adalah sistem pengenalan entitas bernama yang ditujukan terutama untuk teks biomedis. Ini menggunakan bidang acak bersyarat sebagai mesin pengenalan utama dan mencakup survei luas dari teknik terbaik yang dijelaskan da