Pocket KrHyper
J2ME携帯電話の定理証�?�ライブラリです。命題、一次、および�?述ロジックの推論をサポートし、モバイルナレッジ管理またはセマンティックWebアプリケーションを目指しています。 ＆middot;携帯電話の第一歩 ＆middot;ほとんどリソースを使用しない ＆middot;クローザル一次論理と�?述論理のためのインタフェース...
続きを読むデバイスで検索
最近閲覧ソフト
Doom for Java 31 Jan 17
Microsoft Office Communicator V1.02 Java (320X240) 15 Jan 13
RDM+ Remote Desktop for Mobiles (Java) 22 Dec 10
Wechat Get Started 6 Jul 15
Doing! (Java) 5 Dec 10
memory up standard edition 23 Jan 13
Windows Media Player 10 (2) Skin for KD Player 22 Dec 10
Ebuddy+Fbchatpro(multi java app) 15 Jan 13
-
BookReader and BookReaderDeployer 28 Jun 11