アプリケーションの詳細:
バージョン: 0.9.3
日付のアップロード: 20 Jun 11
ライセンス: 無料
人気: 36
サイズ: 75 Kb
Pocket KrHyper J2ME携帯電話の定理証?ライブラリです。命題、一次、および?述ロジックの推論をサポートし、モバイルナレッジ管理またはセマンティックWebアプリケーションを目指しています。
＆middot;携帯電話の第一歩
＆middot;ほとんどリソースを使用しない
＆middot;クローザル一次論理と?述論理のためのインタフェース
コメントが見つかりません