Pocket KrHyper 0.9.3
?J2ME手机的定理证?库。它支持命?，第一顺序和描述逻辑中的推理，并且针对移动知识管理或语义网络应用。
＆middot;第一个推理器的手机
＆middot;使用少量资源
＆middot;适合一?逻辑和描述逻...
通过设备搜索
Motorola RAZR V3
最近浏览的软件
UpCode (Java) 4 Dec 10
Swarm 4 Jul 11
Hacking a Computer Guide 17 Apr 15
File Manager for Java by vivek upadhyay lucknow gomtinagar 15 Jan 13
Binary Finary Chart Quest 9 Jun 11
J2MEGL 28 Jun 11
Emerdat for Java 30 Jun 11
Abstract Flashing 14 Nov 14
-
Emerdat for Java 30 Jun 11
Disney Sudoku 10 May 18