Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. PLMan - Propositional Logic Parser
  5. Download

PLMan - Propositional Logic Parser 2.0

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu

Về PLMan - Propositional Logic Parser

PLMan là một phân tích cú pháp câu logic đề xuất / máy tính với biến khả năng xử lý được thực hiện trong Java, có nghĩa là nó chạy trên mọi JVM môi trường cài đặt (Unix, Linux, Windows, v.v.).

Các chương trình liên quan

  • BenQ Laptop to Hotspot Converter Dùng thử miễn phí

    BenQ Laptop sang Hotspot Converter chuyển đổi máy tính xách tay BenQ của bạn thành điểm phát sóng không dây.Bằng phần mềm này, máy tính xách tay BenQ (nền tảng Windows) của bạn được biến thành điểm phát sóng Wi-Fi để bạn

  • Windows-Hosted Cell SDK Miễn phí

    Cell-BE SDK do Windows lưu trữ. Đây là trình biên dịch Cell BE Linux SDK và GCC tiêu chuẩn, nhưng được lưu trữ dưới Windows (Cygwin), với biên dịch chéo cho Cell Linux.

  • Pyana Miễn phí

    Pyana là một mô-đun mở rộng cho phép các chương trình Python giao tiếp với công cụ chuyển đổi Xalan XSLT của Apache Software Foundation.

  • pw7 Miễn phí

    pw7 là một trình bao bọc GnuPG dựa trên perl tạo điều kiện cho việc kiểm soát truy cập an toàn, được mã hóa, chi tiết vào cơ sở dữ liệu được mã hóa của mật khẩu siêu người dùng.

  • XCV Miễn phí

    XCV là một tập hợp các biến đổi XSL mô-đun tạo ra sơ yếu lý lịch tuân thủ XHTML từ một tài liệu XML nguồn đơn giản. Tạo kiểu và tùy chỉnh kết quả rất dễ dàng, trải nghiệm CSS và / hoặc HTML - và độc lập với nguồn XML.

  • Genesis Coupe Navigation Hack Miễn phí

    Dự án này là đặc biệt cho hacking với Navigation Hiện nay trong 2010 Hyundai Genesis Coupe.Điều này sẽ chỉ hoạt động với các mô hình được trang bị phần mềm điều hướng trong xe hơi.

  • B.E.S.S. Miễn phí

    Dự án này đã được tài trợ bởi chương trình G.O.P. Hungary, ID dự án: G.O.P.-1-1-08/1-2008-0015. Mục đích của dự án là tạo ra nguyên mẫu của mã hóa giọng nói đầu cuối tốt nhất có thể qua IP dựa trên xác thực sinh trắc học.

  • SyncPro Miễn phí

    SyncPro là một gói trực quan nhắm mục tiêu trên dữ liệu phổ khối được xử lý. Nó sử dụng đồng bộ hóa và lớp techiques trong đồ họa để đồng thời hình dung các nhóm ms datasets.

  • Generic URL Creator Miễn phí

    GUC là một mozilla Firefox / Mozilla thunderbird mở rộng để tạo ra các URL trên bay từ văn bản được lựa chọn. Chỉ cần nhấp chuột phải vào văn bản đã chọn và chọn URL để mở từ menu ngữ cảnh. Extermely hữu ích cho các tìm kiếm

  • LogScanLauncher Miễn phí

    Một tiện ích dòng lệnh giám sát ứng dụng logfiles và gây ra các sự kiện mới một khi một mục nhập mới trong các tập tin đăng nhập đáp ứng một biểu thức chính quy. Các tiện ích được cấu hình bằng cách sửa đổi các mục trong các