Submit Software
  1. Home
  2. Linux
  3. Other
  4. spassgui

spassgui 0.5

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

Spassgui is a Perl/Tk based Gui for SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass.mpi-sb.mpg.de .

VERSION HISTORY

  • Version 0.5 posted on 2004-12-07
    Several fixes and updates
  • Version 0.5 posted on 2004-12-07

Program Details

Related Programs

  • Dynamis Free

    Dynamis is a collection of software tools for studying dynamical systems including code fragments for other systems (R, GNU octave) and standalone programs.

  • WordTalk JA japan Free

    * WordTalk features- Help to memorize words- Interactive memorize- Downaload wordbook via internet (wordbook.daum.net)

  • Poll Anywhere Free Trial

    Turn your Android phone into a polling response system. This is the perfect app for teachers or presenters who want to ask questions or poll their students/audience and collect the data. Poll Anywhere collects polling questio

  • EBook Reader & EPUB Reader Free Trial

    EBook Reader is a fast and highly customizable document viewer for Android. Help you easily access, manage all you ebooks.Supports formats:epub, rtf, fb2(.zip), mobi, and plain text file.Key features：- Includes a brows

  • HoneyBSD Free

    A project aiming to create a complete POSIX compliant BSD environment for high performance computing.

  • The Free Dictionary English Free

    Unofficial App The Free Dictionary English (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Free Online Dictionary - Multiple dictionaries, including:- Languages: English, Spanish, German, French, Italian,

  • Dinucleotide signatures Free

    This project contains a set of files (Perl, Java, and an R package) used to perform analysis of oligonucleotide signatures in metagenomes and genomes.

  • METS Editor (SobekCM) Free

    Windows form app creates METS-compliant metadata files for digital library resources. It allows the user to enter all of the bibliographic information, and assign page names and divisions to the structure map. Supports many b

  • IELTS PREP Free Trial

    Download now and take advantage of the app features – • Only IELTS App to cover prep material and tests for all 4 sections – Listening, Reading, Writing and Speaking• Each skill explained with examples,

  • BANNER Named Entity Recognition System Free

    BANNER is a named entity recognition system intended primarily for biomedical text. It uses conditional random fields as the primary recognition engine and includes a wide survey of the best techniques described in recent lit