Pocket KrHyper
เป็นทฤษฎีบทพิสูจน์ห้องสมุดสำหรับโทรศัพท์มือถือ J2ME มันสนับสนุนเหตุผลในประพจน์สั่งซื้อครั้งแรกและตรรกะรายละเอียดและมีวัตถุประสงค์ที่จะจัดการความรู้มือถือหรือใช้งานเว็บเชิงความหมาย & middot; เฟ้นแรกสำหรับโทรศัพท์มือถือ & middot; ใช้ทรัพยากรน้อย & middot; อินเตอร์เฟซสำหรับลำดับตรรกะ clausal...
อ่านข้อมูลเพิ่มเติม