Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
意見 Pocket KrHyper
通過設備搜索
Samsung Wave 533
最近瀏覽的軟件
crickzenga by Mit 20 Jan 13
Yamaha Unleashed 3D 25 Nov 17
Chat For Facebook PRO Plus Rooms 11 Oct 12
Google Search on biNu 30 Nov 11
file & ZIP manager 15 Jan 13
Ringtone Cutter 15 Jan 13
Go Bible - Finnish 24 Jun 11
Kobe Bryant - Ricis 4 Oct 13
Food Preparation 13 Nov 12
uc browser modded jar 2 Jan 13
流行的應用程序
QR Scanner Free 3 Mar 12
Ferrari Gt: Evolution Hd 17 Dec 10
eBuddy Messenger 18 Sep 11
Freeflight 3D Flight Simulator 27 Oct 09
Pokemon card game gb 2 8 Feb 17
Greedy Bunny Reloaded -An Arcade Thriller 4 Apr 13
WiFiCheema 21 Apr 12
評論沒有發現