Pocket KrHyper

Pocket KrHyper

er et teorem bevise bibliotek for J2ME mobiltelefoner. Det understøtter ræsonnement i udsagnslogik, første ordre, og beskrivelse logik og er rettet mod mobile videnledelse eller semantiske web-applikationer. & Middot; Den første Reasoner til mobiltelefoner & Middot; Bruger få ressourcer & Middot; Interfaces til clausal første ordre logik og beskrivelse...

Læs mere

Learn the Bible

Learn the  Bible

Bibelen (fra koiné Greek & quot; de bøger & quot;) er en kanonisk samling af tekster hellige i jødedom og kristendom. Der er ingen enkelt kanoniske bibel og forskellige religiøse traditioner har produceret forskellige recensions med forskellige markeringer af tekster. Disse gør stort set overlapper dog må føre et vigtigt fælles core..The undersøgelse af Gud i siderne i Bibelen er både intenst praktisk og glæden ved dem, der værner ham. & Ldquo; Great er Herrens gerninger, & rdquo; Salmisten...

Læs mere

El Islam esta religion desconocida

El Islam esta religion desconocida

Denne applikation består i i-e-bog, hvilket betyder interaktiv bog. Dette er et nyt koncept sigter & quot; for at give det liv & quot; ved inkorporering, ind i hver side, en knap & quot; Spørg Forfatter & quot ;. Læseren kan bruge denne knap til at stille de spørgsmål, som han ønsker, direkte til forfatteren, om alle aspekter nærmede i bogen eller på beslægtede aspekter. Denne bog viser forvrængning af de vigtigste elementer i islam, der havde fortsat i århundreder; hver generation har bidraget...

Læs mere