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

spassgui 0.5

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 5.0/5 - ‎1 ‎Votos
Download

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

história da versão

  • Versão 0.5 postado em 2004-12-07
    Várias correções e atualizações
  • Versão 0.5 postado em 2004-12-07

Detalhes do programa

Programas Relacionados

  • Dynamis Livre

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

  • WordTalk JA japan Livre

    * Recursos do WordTalk- Ajuda a memorizar palavras- Memorizar interativo- Livro de palavras Downaload via internet (wordbook.daum.net)

  • Poll Anywhere Avaliação gratuita

    Transforme seu telefone Android em um sistema de resposta de votação. Este é o aplicativo perfeito para professores ou apresentadores que querem tirar dúvidas ou pesquisar seus alunos/público e coletar os dados. A Enquete A

  • EBook Reader & EPUB Reader Avaliação gratuita

    O EBook Reader é um visualizador de documentos rápido e altamente personalizável para Android. Ajudá-lo a acessar facilmente, gerenciar todos os ebooks.Suporte formatos:epub, rtf, fb2(.zip), mobi e arquivo de texto simp

  • HoneyBSD Livre

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

  • The Free Dictionary English Livre

    Aplicativo não oficial O inglês do dicionário gratuito (thefreedictionary.com, en.thefreedictionary.com, o dicionário online gratuito)gratuito - Vários dicionários, incluindo:- Idiomas: Inglês, Espanhol, alemão, francês, ital

  • Dinucleotide signatures Livre

    Este projeto contém um conjunto de arquivos (Perl, Java e um pacote R) usados para realizar análises de assinaturas de oligonucleotídeos em metagenomes e genomas.

  • METS Editor (SobekCM) Livre

    O aplicativo de formulários windows cria arquivos de metadados compatíveis com METS para recursos de biblioteca digital. Ele permite que o usuário insira todas as informações bibliográficas e atribua nomes de páginas e divisõ

  • IELTS PREP Avaliação gratuita

    Baixe agora e aproveite os recursos do aplicativo – • Apenas o aplicativo IELTS para cobrir material de preparação e testes para todas as 4 seções – Escuta, Leitura, Escrita e Fala• Cada habilidade

  • BANNER Named Entity Recognition System Livre

    BANNER é um sistema de reconhecimento de entidades nomeado principalmente para texto biomédico. Ele usa campos aleatórios condicionais como o motor de reconhecimento primário e inclui um amplo levantamento das melhores técnic