spassgui 0.5
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/projects/spassgui/files/spassgui/0.5/spassgui-0.5.tar.bz2/download
Tentang spassgui
Spassgui adalah Gui berbasis Perl / Tk untuk SPASS (Prover Theorem Otomatis untuk Logika Urutan Pertama dengan Kesetaraan) http://spass.mpi-sb.mpg.de .
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