spassgui 0.5
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/spassgui/files/spassgui/0.5/spassgui-0.5.tar.bz2/download
Circa spassgui
Spassgui è un Gui basato su Perl/Tk per SPASS (An Automated Theorem Prover for First-Order Logic with Equality) di http://spass.mpi-sb.mpg.de .
Programmi correlati
-
Dynamis Gratuito
Dynamis è una raccolta di strumenti software per lo studio di sistemi dinamici tra cui frammenti di codice per altri sistemi (R, GNU octave) e programmi autonomi.
-
WordTalk JA japan Gratuito
* Caratteristiche di WordTalk- Aiuta a memorizzare le parole- Memorizzazione interattiva- Scarica il wordbook via Internet (wordbook.daum.net) La commissione per l'wordbook.daum.net
-
Poll Anywhere Prova gratuita
Trasforma il tuo telefono Android in un sistema di risposta al polling. Questa è l'app perfetta per insegnanti o relatori che vogliono porre domande o interrogare i loro studenti / pubblico e raccogliere i dati. Poll Anywhe
-
EBook Reader & EPUB Reader Prova gratuita
EBook Reader è un visualizzatore di documenti veloce e altamente personalizzabile per Android. Aiutati ad accedere facilmente, gestire tutti i tuoi ebook.Supporta i formati:epub, rtf, fb2 (.zip), mobi e file di testo no
-
HoneyBSD Gratuito
Un progetto che mira a creare un ambiente BSD completo conforme a POSIX per il calcolo ad alte prestazioni.
-
The Free Dictionary English Gratuito
App non ufficiale The Free Dictionary English (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Dizionario online gratuito - Più dizionari, tra cui:- Lingue: inglese, spagnolo, tedesco, francese, italiano, a
-
Dinucleotide signatures Gratuito
Questo progetto contiene un insieme di file (Perl, Java e un pacchetto R) utilizzati per eseguire l'analisi delle firme oligonucleotidi nei metagenomi e nei genomi.
-
METS Editor (SobekCM) Gratuito
L'app windows form crea file di metadati compatibili con METS per le risorse della libreria digitale. Consente all'utente di inserire tutte le informazioni bibliografiche e assegnare nomi e divisioni di pagina alla mappa dell
-
IELTS PREP Prova gratuita
Scarica ora e approfitta delle funzionalità dell'app & ndash; • Solo app IELTS per coprire materiale di preparazione e test per tutte e 4 le sezioni – Ascolto, lettura, scrittura e conversazione• Ogni ab
-
BANNER Named Entity Recognition System Gratuito
BANNER è un sistema di riconoscimento delle entità denominato destinato principalmente al testo biomedico. Utilizza campi casuali condizionali come motore di riconoscimento primario e include un'ampia indagine sulle migliori