Pocket KrHyper 0.9.3

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...
Búsqueda por dispositivo
Nokia 3710 Fold

Nokia 3710 Fold
Búsqueda por categoría