Pocket KrHyper 0.9.3
J2ME携帯電話の定理証?ライブラリです。命題、一次、および?述ロジックの推論をサポートし、モバイルナレッジ管理またはセマンティックWebアプリケーションを目指しています。
＆middot;...
デバイスで検索
Nokia 5220 / 5320
最近閲覧ソフト
FileLock New 3 Feb 11
4 in 1 Memory Game Challenge 21 Jun 18
Password Hacker 26 Jan 13
CPU Speed Test VVS 21 Sep 12
Learn To Use Photoshop 12 Sep 15
Intervals (Java) 9 Jan 13