Pocket KrHyper 0.9.3

este o bibliotecă dovedind teoremă pentru telefoane mobile J2ME. Ea susține raționamentul în propozitiilor, ordinul întâi, și descrierea logică și are ca scop managementul bazat pe cunoștințe mobile sau aplicații web semantic. & Middot; Prima...