新的自由 對於應用程序 Thomas Kleemann, Alex Sinner

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

閱讀更多