รายละเอียดของการประยุกต์ใช้:
รุ่น: 0.9.3
วันที่อัพโหลด: 20 Jun 11
ผู้พัฒนา: Thomas Kleemann, Alex Sinner
การอนุญาต: ฟรี
ความนิยม: 36
ขนาด: 75 Kb
Pocket KrHyper เป็นทฤษฎีบทพิสูจน์ห้องสมุดสำหรับโทรศัพท์มือถือ J2ME มันสนับสนุนเหตุผลในประพจน์สั่งซื้อครั้งแรกและตรรกะรายละเอียดและมีวัตถุประสงค์ที่จะจัดการความรู้มือถือหรือใช้งานเว็บเชิงความหมาย
& middot; เฟ้นแรกสำหรับโทรศัพท์มือถือ
& middot; ใช้ทรัพยากรน้อย
& middot; อินเตอร์เฟซสำหรับลำดับตรรกะ clausal แรกและตรรกะคำอ?ิบาย
ความคิดเห็นที่ไม่พบ