Pocket KrHyper

Pocket KrHyper

J2ME携帯電話の定理証?ライブラリです。命題、一次、および?述ロジックの推論をサポートし、モバイルナレッジ管理またはセマンティックWebアプリケーションを目指しています。 ·携帯電話の第一歩 ·ほとんどリソースを使用しない ·クローザル一次論理と?述論理のためのインタフェース...

続きを読む