Information om ansökan:
Version: 0.9.3
Ladda upp dagen: 20 Jun 11
Utvecklare: Thomas Kleemann, Alex Sinner
Licens: Gratis
Popularitet: 36
Storlek: 75 Kb
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 logik
Kommentarer hittades inte