Pocket KrHyper

Pocket KrHyper

Est une bibliothèque prouvant le théorème pour les téléphones mobiles J2ME. Il prend en charge le raisonnement dans la logique propositionnelle, de premier ordre et de description et vise la gestion des connaissances mobiles ou les applications Web sémantiques. & Middot; Le premier raisonnement pour les téléphones portables & Middot; Utilise peu de ressources & Middot; Interfaces pour logique de premier ordre et logique de description de...

En savoir plus

Stroke Painter

Stroke Painter

Stroke Painter est supérieur au projet cjkmobile (http://code.google.com/p/cjkmobile/) pour présenter l'application d'apprentissage mobile Java animé pour montrer comment peindre l'ordre des traits pour les caractères chinois, japonais et coréens. Stroke peintre supposé être portable et adapté à tout mobile support Java MIDlet 2.1. Caractéristiques 1- Plus petite taille par rapport à cjkmobile 2- Support du caractère 3199 3- Fournir un ordre de course animé 4- le jeu de données...

En savoir plus