Pocket KrHyper
är en sats bevisar bibliotek för J2ME mobiltelefoner. Den stöder resonemang i påstående, första ordning och beskrivning logik och riktar sig till mobila kunskapshantering eller semantiska webbapplikationer. & Middot; Den första reasoner för mobiltelefoner & Middot; Använder lite resurser & Middot; Gränssnitt för clausal första ordningens logik och beskrivning...
Läs mer