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ô...
đọc thêm