提交軟體
  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 檔中的項目進行配置。