Pocket KrHyper

Pocket KrHyper

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

อ่านข้อมูลเพิ่มเติม