Pocket KrHyper

Pocket KrHyper

è una dimostrazione libreria teorema per i telefoni cellulari J2ME. Supporta ragionamento proposizionale, primo ordine, e la descrizione logica e ha lo scopo di gestione della conoscenza mobili o applicazioni web semantico. & Middot; Il primo ragionatore per i telefoni cellulari & Middot; Utilizza poche risorse & Middot; Interfacce per la logica fine primo clausal e la descrizione...

Per saperne di più

Learn the Bible

Learn the  Bible

La Bibbia (dal greco koinè & quot; i libri & quot;) è una raccolta canonica dei testi sacri nel giudaismo e cristianesimo. Non esiste un unico canonici della Bibbia e diverse tradizioni religiose hanno prodotto diverse Opinione con diverse selezioni di testi. Questi in gran parte si sovrappongono tuttavia, la creazione di un importante studio comune core..The di Dio nelle pagine della Bibbia si sia intensamente pratica e la gioia di coloro che lo amare. & Ldquo; Grandi sono le opere del Signore, & rdquo;...

Per saperne di più