Pocket KrHyper
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 reasoner para sa mga mobile phone & Middot; Gumagamit maliit na mga mapagkukunan & Middot; Interface para clausal unang order na lohika at paglalarawan...
Magbasa nang higit pa