Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. PLMan - Propositional Logic Parser
  5. Download

PLMan - Propositional Logic Parser 2.0

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

Sobre PLMan - Propositional Logic Parser

PLMan é um parser/calculadora de frases lógicas proposicionais com variável capacidade de manuseamento implementada em Java, o que significa que funciona em cada JVM ambiente instalado (Unix, Linux, Windows, etc.).

Programas Relacionados

  • BenQ Laptop to Hotspot Converter Julgamento Gratuito

    O BenQ Laptop para o Hotspot Converter converte o seu portátil BenQ num hotspot sem fios.Com este software, o seu portátil BenQ (plataforma Windows) é transformado num hotspot Wi-Fi para que possa partilhar a Internet co

  • Windows-Hosted Cell SDK Grátis

    Um SDK de células com janelas. Este é o padrão cell BE Linux SDK e GCC compiladores, mas hospedados sob Windows (Cygwin), com compilação cruzada para Cell Linux.

  • Pyana Grátis

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

  • pw7 Grátis

    pw7 é um invólucro GnuPG baseado em perl que facilita o controlo de acesso granular seguro, encriptado e granular a uma base de dados encriptada de senhas super-utilizadores.

  • XCV Grátis

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

  • Genesis Coupe Navigation Hack Grátis

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

  • B.E.S.S. Grátis

    Este projeto foi patrocinado pelo programa húngaro G.O.P., projeto ID: G.O.P.-1-1-1-08/1-2008-0015. O objetivo do projeto era criar o protótipo da melhor voz possível sobre a encriptação IP baseada na autenticação biométrica.

  • SyncPro Grátis

    SyncPro é um pacote de visualização direcionado para dados de espectrometria de massa processada. Utiliza tecnologias de sincronização e camadas em gráficos para visualizar simultaneamente grupos de conjuntos de dados de MS.

  • Generic URL Creator Grátis

    GUC é uma extensão de thunderbird Mozilla Firefox/Mozilla para gerar URLs no voo a partir de texto selecionado. Basta clicar no texto selecionado e selecionar o URL para abrir a partir do menu de contexto. Extermely útil para

  • LogScanLauncher Grátis

    Um utilitário de linha de comando que monitoriza os registos de aplicações e desencadeia novos eventos uma vez que uma nova entrada nos ficheiros de registo satisfaz uma expressão regular. O utilitário é configurável alterand