Pocket KrHyper �?�J2ME手機的定理證�?�庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知�?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
Scientific Calculator
12 May 11
PRIMElet V1.01
17 May 11
mPustak Subtract (320x240 360x640)
27 Nov 12
Calculus Quick Reference
23 Jul 11
意見 Pocket KrHyper
通過設備搜索
Samsung S8300
最近瀏覽的軟件
Age Of Heroes VI 19 Dec 12
20000FFalling 19 Apr 11
Auto Fare (Java) 24 Jun 11
Oruc Rehberi 23 Jan 12
Game city bloxx 14 Dec 12
Gauntlet 23 Mar 18
Metal 4 2011 25 Feb 13
South Park - Ricis 12 Aug 14
FIFA Worldcup 2010.. 31 Oct 12
Table Footzy 2 Aug 12
評論沒有發現