Pocket KrHyper 0.9.3

ä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...