Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. spassgui

spassgui 0.5

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

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

versiegeschiedenis

  • Versie 0.5 geplaatst op 2004-12-07
    Verschillende oplossingen en updates
  • Versie 0.5 geplaatst op 2004-12-07

Programmadetails

Gerelateerde programma's

  • Dynamis Gratis

    Dynamis is een verzameling softwaretools voor het bestuderen van dynamische systemen, waaronder codefragmenten voor andere systemen (R, GNU octaaf) en standalone programma's.

  • WordTalk JA japan Gratis

    * WordTalk functies- Help om woorden te onthouden- Interactief onthouden- Downaload wordbook via internet (wordbook.daum.net)

  • Poll Anywhere Gratis proefperiode

    Verander je Android-telefoon in een polling response systeem. Dit is de perfecte app voor docenten of presentatoren die vragen willen stellen of hun studenten/publiek willen peilen en de gegevens willen verzamelen. Poll Any

  • EBook Reader & EPUB Reader Gratis proefperiode

    EBook Reader is een snelle en zeer aanpasbare documentviewer voor Android. Help u gemakkelijk toegang te krijgen, alles wat u e-boeken te beheren.Ondersteunt indelingen:epub, rtf, fb2(.zip), mobi en platte tekstbestand.

  • HoneyBSD Gratis

    Een project dat gericht is op het creëren van een complete POSIX-compatibele BSD-omgeving voor high performance computing.

  • The Free Dictionary English Gratis

    Onofficiële App The Free Dictionary Engels (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Free Online Dictionary - Meerdere woordenboeken, waaronder:- Talen: Engels, Spaans, Duits, Frans, Italiaans, Arabi

  • Dinucleotide signatures Gratis

    Dit project bevat een reeks bestanden (Perl, Java en een R-pakket) die worden gebruikt om analyses uit te voeren van oligonucleotide-handtekeningen in metagenomen en genomen.

  • METS Editor (SobekCM) Gratis

    Windows-formulier-app maakt METS-compatibele metagegevensbestanden voor digitale bibliotheekbronnen. Hiermee kan de gebruiker alle bibliografische informatie invoeren en paginanamen en -divisies toewijzen aan de structuurkaar

  • IELTS PREP Gratis proefperiode

    Download nu en profiteer van de app-functies – • Only IELTS App to cover prep material and tests for all 4 sections – Listening, Reading, Writing and Speaking • Only IELTS App to cover prep material

  • BANNER Named Entity Recognition System Gratis

    BANNER is een benoemd entiteitsherkenningssysteem dat voornamelijk bedoeld is voor biomedische tekst. Het maakt gebruik van voorwaardelijke willekeurige velden als de primaire erkenning motor en bevat een breed overzicht van