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...
usted tendrá que proteger su sede de ataques de tanques, aviones de combate y helicópteros. Debes destruir todos los tanques en el campo de batalla excepto uno para ir a la siguiente...
Descubra la riqueza del entretenimiento deportivo utilizando imágenes recogidas de millones de voluntarios en la web global. Una aplicación de mesa de café para edutainment de Keys; Y una nueva forma de aprender sobre las noticias y eventos de todo el mundo. Únete a los 750.000 más que han descargado aplicaciones de...
Collins German mPhrasefinder contiene 500 frases de viaje en alemán. Lea alemán y escuche el audio mientras viaja. En poco tiempo, usted podrá decir lo que quiere decir en el extranjero.
& Middot; Ver el texto del idioma en tu móvil
& Middot; Escuchar la pronunciación a través de auriculares o altavoces
& Middot; Utilice en el extranjero en este formato compacto y fácil de...