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...
vous devrez protéger votre quartier général contre les attaques de chars, les avions de combat et les hélicoptères. Vous devez détruire tous les chars du champ de bataille sauf un pour aller à la prochaine...
Découvrez la richesse du divertissement sportif à l'aide d'images recueillies auprès de millions de bénévoles sur le Web mondial. Une application table-café pour le divertissement de Keys; Et une nouvelle façon d'apprendre sur les nouvelles et les événements du monde entier. Rejoignez les 750 000 plus qui ont téléchargé des applications...
Collins German mPhrasefinder contient 500 phrases de voyage en allemand. Lisez l'allemand et écoutez l'audio pendant votre voyage. En un rien de temps, vous pourrez dire ce que vous voulez dire à l'étranger.
& Middot; Voir le texte de la langue sur votre mobile
& Middot; Entendre la prononciation à l'aide d'un casque ou d'un haut-parleur;
& Middot; Utilisation à l'étranger dans ce format compact et facile à...
Le but du jeu est d'arriver à la Terre et de détrôner le roi. Mettez 3 et plus d'éléments identiques verticalement ou horizontalement et obtenez les bonus...