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