Rincian Aplikasi:
Versi: 0.9.3
Tanggal Upload: 20 Jun 11
Pengembang: Thomas Kleemann, Alex Sinner
Lisensi: Gratis
Popularitas: 36
Ukuran: 75 Kb
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 logika
Komentar tidak ditemukan