Pocket KrHyper

アプリケーションのスクリーンショット:
Pocket KrHyper
アプリケーションの詳細:
バージョン: 0.9.3
日付のアップロード: 20 Jun 11
ライセンス: 無料
人気: 36
サイズ: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper J2ME携帯電話の定理証?ライブラリです。命題、一次、および?述ロジックの推論をサポートし、モバイルナレッジ管理またはセマンティックWebアプリケーションを目指しています。

·携帯電話の第一歩

·ほとんどリソースを使用しない

·クローザル一次論理と?述論理のためのインタフェース

同様のアプリ

SimulME
SimulME

7 Dec 10

MobileMath
MobileMath

20 Jun 11

Asal Sayilar
Asal Sayilar

3 May 11

Bloft
Bloft

20 Apr 11

へのコメント Pocket KrHyper

コメントが見つかりません
コメントを追加
画像をオンにする!