Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
mPustak Add (320x240 360x640)
27 Nov 12
Graph (Java)
29 May 11
BillSplitter
30 May 11
BrainBooster
6 Jun 11
意見 Pocket KrHyper
通過設備搜索
Nokia 114
最近瀏覽的軟件
Linkin Park 18 Aug 13
Seven Slot Machine 5 Oct 11
Quake Map 13 Nov 12
GpsMid Iceland 19 Dec 12
cooking girl 12 Dec 12
Tournament 15 Dec 11
3D Adventure_Free2 29 Feb 12
1800Flowers 14 Mar 11
Battle Slugs 5 Jul 18
Fire Lion Swf Menu 18 Aug 15
流行的應用程序
Spider-Man: Toxic City HD 31 Dec 10
UC Browser Official Russian 15 Dec 10
Telegram Java Bot 11 Jan 17
Opera Mini Latest 5 Mar 13
kasperskey Free Anti Virus Scanner 6 Feb 13
Snake III 2 Feb 17
Mewsim 1 Feb 17
評論沒有發現