Thông tin chi tiết về ứng dụng:
Phiên bản: 0.9.3
Ngày tải lên: 20 Jun 11
Nhà phát triển: Thomas Kleemann, Alex Sinner
Giấy phép: Miễn phí
Phổ biến: 36
Kích thước: 75 Kb
Pocket KrHyper là một định lý chứng minh thư viện dành cho điện thoại di động J2ME. Nó hỗ trợ luận trong mệnh đề, thứ tự đầu tiên, và logic mô tả và nhằm mục đích quản lý kiến thức điện thoại di động hay các ứng dụng web ngữ nghĩa.
& Chấm giữa; Các nhà lý luận đầu tiên cho điện thoại di động
& Chấm giữa; Sử dụng tài nguyên ít
& Chấm giữa; Giao diện cho clausal lý đơn hàng đầu tiên và logic mô tả
Bình luận không