Taikymo informacija:
Versija: 0.9.3
Įkėlimo datą: 20 Jun 11
Kūrėjas: Thomas Kleemann, Alex Sinner
Licencija: Nemokamai
Populiarumas: 36
Dydis: 75 Kb
Pocket KrHyper yra teorema įrodyti biblioteka J2ME mobiliųjų telefonų. Jis palaiko argumentus Teiginių, pirmos eilės, ir aprašymas logikos ir yra skirta mobiliųjų žinių valdymo ar semantinių žiniatinklio taikomąsias programas.
& Middot; Pirmasis reasoner mobiliesiems telefonams
& Middot; Naudoja mažai išteklių
& Middot; Sąsajos clausal pirmą užsakymo logika ir aprašymas logika
Komentarai nerastas