Pocket KrHyper

Pocket KrHyper

?J2ME手机的定理证?库。它支持命?,第一顺序和描述逻辑中的推理,并且针对移动知识管理或语义网络应用。 ·第一个推理器的手机 ·使用少量资源 ·适合一?逻辑和描述逻辑的接口...

阅读更多

Learn the Bible

Learn the  Bible

圣经(从科伊内希腊语“书”)?一个经典的收藏,犹太教和基督教中神圣的文本。没有单一的规范圣经和各种宗教传统产生不同的翻译与不同的文本选择。这些在很大程度上?重叠的,创造了一个重​​要的共同核心。在圣经的页面上帝的研究?强烈实用和珍惜他的人的喜悦。伟大的主耶和华的作为,诗人惊呼,“所有喜欢他们的人都学习”。9有关键:学习的乐趣。...

阅读更多