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
Sony Ericsson J105 Naite / J108 Cedar
Nylig viste programvare
Ashes Cricket 23 Jun 18
Zajac Mroku 5 Jul 18
Apertium TinyLex Spanish-Catalan Dictionary 24 Jun 11
Secret PhoneBook 3 Feb 13
Purple Style 3d 5 Mar 15
BT FileMan 5 Feb 13
Mobylex English-Turkish Dictionary 10 Jun 11
Tekken Full Screen 5 Sep 16
Sea 17 Aug 13
Car and Driver Mobile Web 4 May 11