Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. UNB Theorem Prover?

UNB Theorem Prover?

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 - ‎3 ‎Phiếu
Tải về

Định lý tự động Prover thực hiện trong Java và sử dụng cây mệnh đề. Phần mềm này sẽ có thể đọc định lý toán học từ TPTP và chứng minh hoặc bác bỏ chúng.

lịch sử phiên bản

  • Phiên bản N/A đăng trên 2011-08-05
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-08-05

Chi tiết chương trình

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

  • fastAOP Miễn phí

    FastAOP là một AOP hiệu suất rất cao (Aspect Oriented Programming) khuôn khổ cho java. Khuôn khổ ban đầu phát triển để hỗ trợ hồ sơ hiệu suất và giám sát cho các ứng dụng J2EE lớn với hầu như không có thời gian chạy overhad

  • Butterfly Code Generator Miễn phí

    Butterfly là một Trình tạo mã đơn giản sử dụng XMI làm mẫu đầu vào và XSLT để tạo bất kỳ loại mã nào. Một số mẫu được cung cấp bao gồm EJB, JDO và Struts. Người dùng có thể sử dụng các mẫu, sửa đổi chúng hoặc tạo ra những cá

  • Neural network designer Miễn phí

    Dự án này bao gồm một ứng dụng thiết kế dựa trên windows và một thư viện (có thể chạy trên nhiều nền tảng, bao gồm cả Android) cùng với một số ứng dụng demo (bao gồm một ứng dụng chatbot MVC3 và một ứng dụng Android).Nó có

  • DL-Learner Miễn phí

    DL-Learner là một công cụ để học các khái niệm trong Description Logics (DLs) từ các ví dụ do người dùng cung cấp. Tương tự, nó có thể được sử dụng để tìm hiểu các lớp học trong owl ontologies từ các đối tượng được lựa chọn.

  • MakeEmbeddedRootfilesystem Miễn phí

    Makerootfs giúp bạn dễ dàng xây dựng hệ thống tập tin gốc cho các thiết bị nhúng (ví dụ: dựa trên ARM) bằng cách tự động hóa quá trình biên dịch chéo thông qua các tập lệnh vỏ, bản vá lỗi và cấu hình mặc định. Không giống như

  • VCS Agents and Tools Miễn phí

    Mục tiêu của dự án này là cung cấp các plugin (&agents") cho Veritas Cluster Server trên cơ sở Mã nguồn mở.

  • Etnia Workbench Miễn phí

    Phần mở rộng cho dự án CDT mà cấu hình trình biên dịch thêm và các plugin khác để làm cho tích hợp plattform khác nhau (thực sự Texas Instrument & PIC vi xử lý)

  • Steini\'s Mini Compiler Miễn phí

    Steini 's Mini Compiler là một trình biên dịch DOS 16 bit nhanh. Xin vui lòng giúp đỡ để cải thiện ngôn ngữ lập trình bằng văn bản lệnh mới. Trình biên dịch sử dụng một tập hợp các tập tin lắp ráp cho quá trình biên dịch.

  • JCustomizer Miễn phí

    Mục tiêu của dự án JCustomizer là tùy biến chung chung và liên tục của mọi GUI Java Swing / AWT tại thời gian chạy: phông chữ, màu sắc, văn bản, máy gia tốc, ... Một đệm tốt đẹp là một truy cập WYSIWYG để quốc tế hóa mà không

  • net.sourceforge.ajstruts Miễn phí

    Mã nguồn của một bài báo (http://ajstruts.sf.net) được xuất bản vào tháng 11 năm 2003 trên tạp chí tiếng Đức & Java Magazin" cho thấy làm thế nào để thích ứng với libs bên thứ 3 (ví dụ như thanh chống) cho nhu cầ