Invia software
  1. Casa
  2. Linux
  3. Altro
  4. spassgui

spassgui 0.5

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti
Scaricare

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 .

cronologia delle versioni

  • Versione 0.5 pubblicato il 2004-12-07
    Diverse correzioni e aggiornamenti
  • Versione 0.5 pubblicato il 2004-12-07

Dettagli del programma

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