Pocket KrHyper
adalah membuktikan perpustakaan Teorema untuk ponsel J2ME. Mendukung penalaran di proposisional, urutan pertama, dan deskripsi logika dan ditujukan untuk manajemen pengetahuan ponsel atau aplikasi web semantik. & Middot; The pemikir pertama untuk ponsel & Middot; Menggunakan sumber daya sedikit & Middot; Interface untuk klausul pertama logika ketertiban dan deskripsi...
Baca lebih lanjut