Pocket KrHyper

Pocket KrHyper

?J2ME手機的定理證?庫。它支持命題,第一順序和描述邏輯中的推理,並且針對移動知?管理或語義網絡應用。 ·第一個推理器的手機 ·使用少量資源 ·適合一階邏輯和描述邏輯的接口...

閱讀更多