Pocket KrHyper

Ảnh chụp màn hình của ứng dụng:
Pocket KrHyper
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

Rating: 1.4/5 (Total Votes: 8)

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ả

Tương tự như các ứng dụng

TouchMaths 10
TouchMaths 10

9 Feb 11

MobileMaths
MobileMaths

12 May 11

TouchMaths 8
TouchMaths 8

4 Mar 11

Love-math
Love-math

18 Sep 15

Ý kiến ​​để Pocket KrHyper

Bình luận không
Nhập bình luận
Bật hình ảnh!