Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. PLMan - Propositional Logic Parser
  5. Download

PLMan - Propositional Logic Parser 2.0

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de PLMan - Propositional Logic Parser

PLMan es un analizador/calculador de oraciones lógicas proposicionales con variable capacidad de manejo implementada en Java, lo que significa que se ejecuta en todas las entorno instalado (Unix, Linux, Windows, etc.).

Programas relacionados

  • BenQ Laptop to Hotspot Converter Prueba gratuita

    BenQ Laptop to Hotspot Converter convierte su portátil BenQ en un punto de acceso inalámbrico.Con este software, su portátil BenQ (plataforma Windows) se convierte en un punto de acceso Wi-Fi para que pueda compartir Int

  • Windows-Hosted Cell SDK Gratis

    Un SDK de Cell-BE hospedado en Windows. Este es el estándar Cell BE Linux SDK y GCC compiladores, pero alojados en Windows (Cygwin), con compilación cruzada para Cell Linux.

  • Pyana Gratis

    Pyana es un módulo de extensión que permite a los programas Python interactuar con el motor de transformación Xalan XSLT de Apache Software Foundation.

  • pw7 Gratis

    pw7 es un contenedor GnuPG basado en perl que facilita el control de acceso seguro, cifrado y granular a una base de datos cifrada de contraseñas de superusuario.

  • XCV Gratis

    XCV es un conjunto de transformaciones XSL modulares que generan un Currículum Vitae compatible con XHTML a partir de un documento XML de origen simple. El estilo y la personalización de los resultados son fáciles, dada la e

  • Genesis Coupe Navigation Hack Gratis

    Este proyecto es específicamente para la piratería con el presente de navegación en el Hyundai Genesis Coupe 2010.Esto solo funcionará con modelos equipados con el software de navegación en el coche.

  • B.E.S.S. Gratis

    Este proyecto ha sido patrocinado por el programa G.O.P. húngaro, ID del proyecto: G.O.P.-1-1-1-08/1-2008-0015. El objetivo del proyecto era crear el prototipo de la mejor voz sobre IP de extremo a extremo posible basada en l

  • SyncPro Gratis

    SyncPro es un paquete de visualización destinado a datos de espectrometría de masas procesados. Utiliza técnicas de sincronización y capas en gráficos para visualizar simultáneamente grupos de datasets de MS.

  • Generic URL Creator Gratis

    GUC es una extensión de Mozilla Firefox/ Mozilla thunderbird para generar URLs sobre la marcha a partir del texto seleccionado. Simplemente haga clic con el botón derecho en el texto seleccionado y seleccione la URL que desea

  • LogScanLauncher Gratis

    Utilidad de línea de comandos que supervisa los archivos de registro de la aplicación y desencadena nuevos eventos una vez que una nueva entrada en los archivos de registro satisface una expresión regular. La utilidad se pued