Pocket KrHyper 0.9.3

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 &...
Pencarian dengan perangkat
Samsung E2600

Samsung E2600
Baru dilihat lunak
Pencarian dengan kategori