Pocket KrHyper 0.9.3

ay isang teorama proving library para sa j2me mobile phone. Ito ay sumusuporta sa nangagbubulaybulay sa propositional, unang order, at paglalarawan lohika at ay naglalayong sa mobile kaalaman sa pamamahala o semantic web application. & Middot; Ang unang...
Maghanap sa pamamagitan ng aparato
Samsung S5560

Samsung S5560
Maghanap ayon sa kategorya