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
Nokai 6500 Classic
Nylig viste programvare
MicroCalc for Java 5 Jul 11
Sify mystorage Lite 5 Apr 12
Instant Mobile Website Creation 18 Jun 11
-
MicroCalc for Java 5 Jul 11
Minesweeper (Java) 19 Jan 11
Morse Coder 21 Apr 11
YongReader for Adobe PDF Converted Text File - No File Size Limit 12 May 11
-
mSync (Java) 9 Mar 11
Mobile BASIC 1 Jul 11
VVS HTML Editor S60 4 Sep 11