is een stelling te bewijzen bibliotheek voor J2ME mobiele telefoons. Het ondersteunt redenering in propositioneel, eerste orde, en de beschrijving logica en is gericht op mobiele kennismanagement of semantische web applicaties.
& Middot; De eerste Reasoner voor mobiele telefoons
& Middot; Gebruikt weinig middelen
& Middot; Interfaces voor clausale eerste orde logica en beschrijving...
Je moet je hoofdkwartier beschermen tegen tankaanvallen, vliegtuigen en helikopters. U moet alle tanks op het slagveld vernietigen, behalve één om naar de volgende missie te...
Ontdek de rijkdom van sport entertainment met behulp van beelden van miljoenen vrijwilligers op het wereldwijde web. Een koffietafel app voor edutainment van Keys; en een nieuwe manier om te leren over het nieuws en de gebeurtenissen uit de hele wereld. Word lid van de 750.000 plus die hebt gedownload Keys...
Collins Duitse mPhrasefinder bevat 500 Duitse reizen zinnen. Lees Duitse en luister naar de audio terwijl u reist. In een mum van tijd, zult u in staat om te zeggen wat je bedoelt in het buitenland.
& Middot; Zie de tekst van de taal op je mobiel
& Middot; Hoor uitspraak via een hoofdtelefoon of luidspreker
& Middot; Gebruik in het buitenland in deze compacte,...
het doel van het spel is om naar de aarde te komen en de koning te ontwijken. Zet 3 en meer identieke elementen verticaal of horizontaal samen en ontvang bijbehorende...