Pocket KrHyper
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 a fost raționalist pentru telefoane mobile & Middot; Folosește puține resurse & Middot; Interfețe pentru logica clauzala comandă prima și descriere...
Citeste mai mult