Pocket KrHyper 0.9.3
J2ME携帯電話の定理証?ライブラリです。命題、一次、および?述ロジックの推論をサポートし、モバイルナレッジ管理またはセマンティックWebアプリケーションを目指しています。
＆middot;...
デバイスで検索
Nokai 6500 Classic
最近閲覧ソフト
MicroCalc for Java 5 Jul 11
Minesweeper (Java) 19 Jan 11
YongReader for Adobe PDF Converted Text File - No File Size Limit 12 May 11