Kategorier: Science & Utbildning, Math
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...
Sök efter enhet
LG C199
Senast visade programvara
Zombie Kisser 18 Mar 15
RockeTalk - Join Love Communities 12 Feb 13
Find the fish 24 Aug 17