Pocket KrHyper ?J2ME手機的定理證?庫。它支持命題，第一順序和描述邏輯中的推理，並且針對移動知?管理或語義網絡應用。
＆middot;第一個推理器的手機
＆middot;使用少量資源
＆middot;適合一階邏輯和描述邏輯的接口
Pocket KrHyper
類似的應用程序
意見 Pocket KrHyper
通過設備搜索
LG T500
最近瀏覽的軟件
Uranium Inc 9 Mar 18
Ainul Faqr 17 Feb 11
Santa's Cause 15 Jun 18
Wolf hound 23 Feb 13
EA sa 16 May 11
Festival Template 2 Jun 11
Barse Barse 2 Dec 11
I Miss You 8 Aug 12
OLX Features 7 Jul 15
Gravity Defied: New levels 21 Jun 18
評論沒有發現