Pocket KrHyper �?�J2ME手機的定理證�?�庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知�?管理或語義網絡應用。
·第一個推理器的手機
·使用少量資源
·適合一階邏輯和描述邏輯的接口
流行的應用程序
Fingerprint Scan Lock 8 May 12
Football Manager: Championship of Russia 2008 29 Dec 10
Freeflight 3D Flight Simulator 27 Oct 09
BarcodeReader 20 Apr 11
Geometry Dash 3 Feb 17
Clash of Clans Review 5 Feb 17
UC Browser Cloud 21 Jun 12
Pocket KrHyper
類似的應用程序
意見 Pocket KrHyper
流行的應用程序
Play Market for Java 31 Jan 17
SPB Mobile TV 12 Feb 11
Puppy Talk 3 Jan 12
eBuddy Messenger 18 Sep 11
BOLT Browser 2 Nov 11
QIWI Mobile Java 2 Feb 17
Snake III 2 Feb 17
評論沒有發現