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
Samsung E2600
Nylig viste programvare
Memory Challengers V2 18 Mar 15
Flower Dual Clock 17 May 13
Splat Skin for KD Player 26 Feb 11
Opera mini 4.3 Fullscreen (Ger/De) 3 Jan 13