Pocket KrHyper

Pocket KrHyper

Es una biblioteca de prueba de teoremas para teléfonos móviles J2ME. Apoya el razonamiento en lógica proposicional, de primer orden y de descripción y está dirigido a la gestión del conocimiento móvil oa aplicaciones web semánticas. & Middot; El primer motivo para teléfonos móviles & Middot; Utiliza pocos recursos & Middot; Interfaces para lógica lógica de primer orden y lógica de...

Leer más

Learn the Bible

Learn the  Bible

La Biblia (de Koine Greek & quot; los libros & quot;) es una colección canónica de textos sagrados en el judaísmo y el cristianismo. No existe una sola Biblia canónica y varias tradiciones religiosas han producido diferentes recensiones con diferentes selecciones de textos. Sin embargo, estos se superponen en gran medida, creando un núcleo común importante. El estudio de Dios en las páginas de la Biblia es intensamente práctico y la alegría de quienes lo aprecian. "Grandes son las obras del...

Leer más