Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. PLMan - Propositional Logic Parser

PLMan - Propositional Logic Parser 2.0

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

PLMan é uma analisadora/calculadora de frases lógicas proposicionais com variável capacidade de manuseio implementada em Java, o que significa que ele é executado em cada JVM ambiente instalado (Unix, Linux, Windows, etc.).

história da versão

  • Versão plman%202.0 postado em 2003-12-22
    Várias correções e atualizações
  • Versão plman 2.0 postado em 2003-12-22

Detalhes do programa

Programas Relacionados

  • BenQ Laptop to Hotspot Converter Avaliação gratuita

    BenQ Laptop para Hotspot Converter converte seu laptop BenQ em um hotspot sem fio.Por este software, seu laptop BenQ (plataforma Windows) é transformado em um hotspot Wi-Fi para que você possa compartilhar a Internet com

  • Windows-Hosted Cell SDK Livre

    Um SDK Cell-BE hospedado no Windows. Este é o padrão cell BE Linux SDK e GCC compilers, mas hospedados sob Windows (Cygwin), com compilação cruzada para Cell Linux.

  • Pyana Livre

    Pyana é um módulo de extensão que permite que os programas Python intersessem com o mecanismo de transformação Xalan XSLT da Apache Software Foundation.

  • pw7 Livre

    Pw7 é um invólucro GnuPG baseado em perl que facilita o controle de acesso seguro, criptografado e granular a um banco de dados criptografado de senhas de superusuário.

  • XCV Livre

    XCV é um conjunto de transformações modulares XSL que geram um Curriculum Vitae compatível com XHTML a partir de um documento XML de origem simples. Estilizar e personalizar os resultados são fáceis, dada a experiência CSS e

  • Genesis Coupe Navigation Hack Livre

    Este projeto é especificamente para hackear com a Navegação Presente no Hyundai Genesis Coupe 2010.Isso só funcionará com modelos equipados com o Software de Navegação No Carro.

  • B.E.S.S. Livre

    Este projeto foi patrocinado pelo programa húngaro G.O.P., iD do projeto: G.O.P.-1-1-08/1-2008-0015. O objetivo do projeto era criar o protótipo da melhor voz de ponta a ponta possível sobre criptografia IP baseada na autenti

  • SyncPro Livre

    SyncPro é um pacote de visualização voltado para dados de espectrometria de massa processados. Ele usa técnicas de sincronização e camadas em gráficos para visualizar simultaneamente grupos de conjuntos de dados em MS.

  • Generic URL Creator Livre

    GUC é uma extensão mozilla Firefox/Mozilla thunderbird para gerar URLs na mosca a partir de texto selecionado. Basta clicar com o botão direito do mouse no texto selecionado e selecione a URL para abrir no menu de contexto. E

  • LogScanLauncher Livre

    Um utilitário de linha de comando que monitora registros de aplicativos e aciona novos eventos uma vez que uma nova entrada nos arquivos de log satisfaz uma expressão regular. O utilitário é configurável alterando entradas no