Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. spassgui

spassgui 0.5

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos
Descargar

Spassgui es un Gui basado en Perl/Tk para SPASS (Un Prover de Teorema Automatizado para lógica de primer orden con igualdad) por http://spass.mpi-sb.mpg.de .

historial de versiones

  • Versión 0.5 publicado en 2004-12-07
    Varias correcciones y actualizaciones
  • Versión 0.5 publicado en 2004-12-07

Detalles del programa

Programas relacionados

  • Dynamis Gratis

    Dynamis es una colección de herramientas de software para estudiar sistemas dinámicos incluyendo fragmentos de código para otros sistemas (R, GNU octave) y programas independientes.

  • WordTalk JA japan Gratis

    * Características de WordTalk- Ayuda a memorizar palabras- Memorización interactiva- Downaload libro de palabras a través de Internet (wordbook.daum.net)

  • Poll Anywhere Prueba gratuita

    Convierte tu teléfono Android en un sistema de respuesta de sondeo. Esta es la aplicación perfecta para los profesores o presentadores que quieren hacer preguntas o sondear a sus estudiantes / audiencia y recoger los datos.

  • EBook Reader & EPUB Reader Prueba gratuita

    EBook Reader es un visor de documentos rápido y altamente personalizable para Android. Ayudarle a acceder fácilmente, administrar todos sus libros electrónicos.Soporta formatos:epub, rtf, fb2(.zip), mobi y archivo de te

  • HoneyBSD Gratis

    Un proyecto que tiene como objetivo crear un entorno BSD completo compatible con POSIX para la informática de alto rendimiento.

  • The Free Dictionary English Gratis

    Aplicación no oficial El Diccionario gratuito Español (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Diccionario en línea gratuito - Diccionario múltiples, incluyendo:- Idiomas: Inglés, español, alemán, f

  • Dinucleotide signatures Gratis

    Este proyecto contiene un conjunto de archivos (Perl, Java y un paquete R) utilizados para realizar análisis de firmas de oligonucleótidos en metagenomes y genomas.

  • METS Editor (SobekCM) Gratis

    La aplicación de formulario de Windows crea archivos de metadatos compatibles con METS para los recursos de biblioteca digital. Permite al usuario introducir toda la información bibliográfica, y asignar nombres de página y di

  • IELTS PREP Prueba gratuita

    Descargar ahora y aprovechar las características de la aplicación – • Only IELTS App para cubrir el material de preparación y las pruebas para las 4 secciones – Escuchar, Leer, Escribir y Hablar• C

  • BANNER Named Entity Recognition System Gratis

    BANNER es un sistema de reconocimiento de entidades con nombre destinado principalmente al texto biomédico. Utiliza campos aleatorios condicionales como el motor de reconocimiento principal e incluye una amplia encuesta de la