spassgui 0.5
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/spassgui/files/spassgui/0.5/spassgui-0.5.tar.bz2/download
acerca de spassgui
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 .
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