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