Mga Detalye ng Application:
Bersyon: 0.9.3
I-upload ang petsa: 20 Jun 11
Nag-develop: Thomas Kleemann, Alex Sinner
Lisensya: Libre
Katanyagan: 36
Laki: 75 Kb
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 logic
Mga Komento hindi natagpuan