Pocket KrHyper 0.9.3

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...
Recherche par le dispositif
Nokia 6275

Nokia 6275
Logiciels consultés récemment
Recherche par catégorie