Pocket KrHyper

Screenshot ng Application:
Pocket KrHyper
Mga Detalye ng Application:
Bersyon: 0.9.3
I-upload ang petsa: 20 Jun 11
Lisensya: Libre
Katanyagan: 36
Laki: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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

Katulad app

Algeo calculator
Algeo calculator

20 Apr 11

TouchMaths 8
TouchMaths 8

4 Mar 11

TouchMaths 10
TouchMaths 10

9 Feb 11

TouchMaths 4
TouchMaths 4

24 Jan 11

Mga komento sa Pocket KrHyper

Mga Komento hindi natagpuan
Magdagdag ng komento
I-sa mga imahe!