Detalii de aplicare:
Versiune: 0.9.3
Incarca data: 20 Jun 11
Producător: Thomas Kleemann, Alex Sinner
Licenţă: Gratuit
Popularitate: 36
Dimensiune: 75 Kb
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 logică
Comentariile nu a fost găsit