Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. spassgui

spassgui 0.5

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes
Télécharger

Spassgui est un Gui perl/tk basé pour SPASS (An Automated Theorem Prover for First-Order Logic with Equality) par http://spass.mpi-sb.mpg.de .

historique de la version

  • Version 0.5 posté sur 2004-12-07
    Plusieurs correctifs et mises à jour
  • Version 0.5 posté sur 2004-12-07

Détails du programme

Programmes connexes

  • Dynamis Gratuit

    Dynamis est une collection d’outils logiciels pour étudier les systèmes dynamiques, y compris les fragments de code pour d’autres systèmes (R, Octave GNU) et les programmes autonomes.

  • WordTalk JA japan Gratuit

    * Fonctionnalités WordTalk- Aide à mémoriser les mots- Mémoriser interactif- Downaload wordbook via Internet (wordbook.daum.net)

  • Poll Anywhere Essai gratuit

    Transformez votre téléphone Android en un système de réponse aux sondages. Il s’agit de l’application parfaite pour les enseignants ou les présentateurs qui veulent poser des questions ou sonner leurs élèves / public et de

  • EBook Reader & EPUB Reader Essai gratuit

    EBook Reader est une visionneuse de documents rapide et hautement personnalisable pour Android. Vous aider à accéder facilement, gérer tous vos ebooks.Prend en charge les formats :fichier epub, rtf, fb2 (.zip), mobi et

  • HoneyBSD Gratuit

    Un projet visant à créer un environnement BSD entièrement conforme à POSIX pour l’informatique haute performance.

  • The Free Dictionary English Gratuit

    Application non officielle The Free Dictionary English (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Free Online Dictionary - Multiple dictionaries, y compris:- Langues: Anglais, Espagnol, Allemand, Fran

  • Dinucleotide signatures Gratuit

    Ce projet contient un ensemble de fichiers (Perl, Java et un paquet R) utilisés pour effectuer l’analyse des signatures oligonucléotides dans les méthagnomes et les génomes.

  • METS Editor (SobekCM) Gratuit

    L’application windows crée des fichiers de métadonnées conformes à METS pour les ressources de la bibliothèque numérique. Il permet à l’utilisateur d’entrer toutes les informations bibliographiques, et d’attribuer des noms de

  • IELTS PREP Essai gratuit

    Téléchargez dès maintenant et profitez des fonctionnalités de l’application – • Only IELTS App pour couvrir le matériel de préparation et les tests pour les 4 sections – Écoute, lecture, écriture et parle

  • BANNER Named Entity Recognition System Gratuit

    BANNER est un système de reconnaissance d’entités nommé destiné principalement au texte biomédical. Il utilise des champs aléatoires conditionnels comme principal moteur de reconnaissance et comprend une vaste étude des meill