Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. spassgui
  5. Download

spassgui 0.5

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos

Sobre spassgui

Spassgui é um Gui para SPASS (Um Provérbio de Teorema Automatizado para Lógica de Primeira Ordem com Igualdade) por http://spass.mpi-sb.mpg.de .

Programas Relacionados

  • Dynamis Grátis

    A Dynamis é uma coleção de ferramentas de software para o estudo de sistemas dinâmicos, incluindo fragmentos de código para outros sistemas (R, GNU octave) e programas autónomos.

  • WordTalk JA japan Grátis

    * Funcionalidades WordTalk- Ajudar a memorizar palavras- Memorização interativa- Livro de palavras downaload via internet (wordbook.daum.net)

  • Poll Anywhere Julgamento Gratuito

    Transforme o seu telefone Android num sistema de resposta às sondagens. Esta é a aplicação perfeita para professores ou apresentadores que queiram fazer perguntas ou inquirir os seus alunos/públicos e recolher os dados. Son

  • EBook Reader & EPUB Reader Julgamento Gratuito

    O EBook Reader é um espectador de documentos rápido e altamente personalizável para Android. Ajudá-lo a aceder facilmente, gerir todos os seus ebooks.Suporta formatos:epub, RTF, fb2 (.zip), mobi, e arquivo de texto simp

  • HoneyBSD Grátis

    Um projeto que visa criar um ambiente BSD completo compatível com POSIX para computação de alto desempenho.

  • The Free Dictionary English Grátis

    Aplicação não oficial O Inglês Dicionário Gratuito (thefreedictionary.com, en.thefreedictionary.com, o Dicionário Online Gratuito)Dicionário Online Gratuito - Múltiplos dicionários, incluindo:- Línguas: Inglês, Espanhol, Alem

  • Dinucleotide signatures Grátis

    Este projeto contém um conjunto de ficheiros (Perl, Java e um pacote R) usados para realizar a análise de assinaturas de oligonucleótido em metagenomas e genomas.

  • METS Editor (SobekCM) Grátis

    A aplicação de formulários Windows cria ficheiros de metadados compatíveis com METS para recursos de biblioteca digital. Permite ao utilizador introduzir toda a informação bibliográfica e atribuir nomes de página e divisões a

  • IELTS PREP Julgamento Gratuito

    Baixe agora e aproveite as funcionalidades da app & • Only IELTS App para cobrir material de preparação e testes para todas as 4 secções – Escuta, Leitura, Escrita e Fala• Cada habilidade explicada c

  • BANNER Named Entity Recognition System Grátis

    BANNER é um sistema de reconhecimento de entidades nomeado principalmente para texto biomédico. Utiliza campos aleatórios condicional como motor de reconhecimento primário e inclui um vasto levantamento das melhores técnicas