Los detalles de la aplicación:
Versión: 0.9.3
Fecha de carga: 20 Jun 11
Promotor: Thomas Kleemann, Alex Sinner
Licencia: Libre
Popularidad: 36
Tamaño: 75 Kb
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 descripción
Comentarios que no se encuentran