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