Pocket KrHyper

Capture d'écran de la demande de:
Pocket KrHyper
Détails de la demande:
Version: 0.9.3
Date de transfert: 20 Jun 11
Licence: Gratuit
Popularité: 36
Taille: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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 clauses

Applications similaires

Distancia
Distancia

2 Jun 11

PRIMElet V1.01
PRIMElet V1.01

17 May 11

TouchMaths 10
TouchMaths 10

9 Feb 11

MobileMathr
MobileMathr

7 Jul 16

Commentaires à Pocket KrHyper

Commentaires non trouvées
Ajouter un commentaire
Tourner sur les images!