Kategorier: Science & Utdanning, Math
Pocket KrHyper 0.9.3
er et teorem beviser bibliotek for J2ME mobiltelefoner. Den støtter resonnement i propositional, første ordre, og beskrivelse logikk og er rettet mot mobile knowledge management eller semantiske web-applikasjoner.
& Middot; Den første reasoner for...
Søk etter enhet
LG T500
Nylig viste programvare
ScanR v1.1 15 Jan 13
Sequential 10 Feb 11
OperaMini Installation/ Usage 6 Jul 15
WHAT HAPPENS IN VEGAS-BLACKJACK 8 Jun 11
Free Flow 6 Jul 15
JaxtrSMS Beta 15 Nov 11