libLogic

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

Về libLogic

libLogic là một thư viện phần mềm cho định lý tự động chứng minh với khả năng tin-to-be-unequalled để chứng minh một cách chính xác và hiệu quả tất cả các báo cáo chứng minh trong bất kỳ lý thuyết hợp lý của bất kỳ thứ tự, không có sự trợ giúp của con người.