Pocket KrHyper

Pocket KrHyper

Est une bibliothèque prouvant le théorème pour les téléphones mobiles J2ME. Il prend en charge le raisonnement dans la logique propositionnelle, de premier ordre et de description et vise la gestion des connaissances mobiles ou les applications Web sémantiques. & Middot; Le premier raisonnement pour les téléphones portables & Middot; Utilise peu de ressources & Middot; Interfaces pour logique de premier ordre et logique de description de...

En savoir plus

Learn the Bible

Learn the  Bible

La Bible (de Koine Greek & quot; les livres & quot;) est une collection canonique de textes sacrés dans le judaïsme et le christianisme. Il n'existe pas une seule Bible canonique et diverses traditions religieuses ont produit différentes recensions avec différentes sélections de textes. Ceux-ci se chevauchent en grande partie cependant, créant un noyau commun important. L'étude de Dieu dans les pages de la Bible est à la fois intensément pratique et la joie de ceux qui le chérissent....

En savoir plus