提交软件
  1. 首页
  2. PC软件
  3. 其他
  4. PLMan - Propositional Logic Parser

PLMan - Propositional Logic Parser 2.0

许可： 免费 ‎文件大小： N/A
‎用户评分： 4.0/5 - ‎1 ‎评分
点击下载

PLMan 是一个命题逻辑句子解析器/计算器与变量 在 Java 中实现的处理功能，这意味着它在每个 JVM 上运行 安装环境（Unix、Linux、Windows 等）。

版本历史记录

  • 版本 plman%202.0 发布于 2003-12-22
    若干修复和更新
  • 版本 plman 2.0 发布于 2003-12-22

软件信息

相关软件

  • BenQ Laptop to Hotspot Converter 免费试用

    BenQ 笔记本电脑到热点转换器将您的 BenQ 笔记本电脑转换为无线热点。通过该软件，您的 BenQ 笔记本电脑（Windows 平台）将变成 Wi-Fi 热点，以便您能够与第二台笔记本电脑、朋友或移动设备共享互联网。当然，您不想在旅行中携带无线路由器。但是，您必须为您的手机找到一个 Wi-Fi 热点。笔记本电脑到热点转换器系列软件使您的生活更轻松。现在，您可以在任何地方拥有自己的热点。

  • Windows-Hosted Cell SDK 免费

    由 Windows 托管的 Cell-BE SDK。这是标准的 Cell BE Linux SDK 和 GCC 编译器，但托管在 Windows （Cygwin） 下，并跨编译单元格 Linux。

  • Pyana 免费

    Pyana 是一个扩展模块，允许 Python 程序与 Apache 软件基金会的 Xalan XSLT 转换引擎进行接口。

  • pw7 免费

    pw7 是基于 perl 的 GnuPG 包装，便于对超级用户密码的加密数据库进行安全、加密、精细的访问控制。

  • XCV 免费

    XCV 是一组模块化 XSL 转换，它通过简单的源 XML 文档生成符合 XHTML 的课程 Vitae。 考虑到 CSS 和/或 HTML 体验，设置和自定义结果非常简单，并且独立于 XML 源。

  • Genesis Coupe Navigation Hack 免费

    这个项目是专门为黑客与导航目前在2010年现代创世纪跑车。这仅适用于配备在车中的导航软件的车型。

  • B.E.S.S. 免费

    该项目由匈牙利G.O.P.项目，项目ID：G.O.P.-1-1-1-1-08/1-2008-0015赞助。该项目的目的是创建基于生物识别认证的 IP 加密最佳端到端语音的原型。

  • SyncPro 免费

    SyncPro 是针对处理的质谱数据进行可视化包。它使用图形中的同步和分层技术来同时可视化 MS 数据集组。

  • Generic URL Creator 免费

    GUC 是一个 Mozilla 火狐/Mozilla 雷鸟扩展，从所选文本中快速生成 URL。只需右键单击所选文本，然后选择要从上下文菜单打开的 URL。对于目录/字典搜索和其他查找非常有用。

  • LogScanLauncher 免费

    一个命令行实用程序，用于监视应用程序日志文件，并在日志文件中的新条目满足正则表达式时触发新事件。该实用程序可通过修改应用程序 ini 文件中的条目进行配置。