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

TouchSheet_ME
TouchSheet_ME

6 Jun 11

Distancia
Distancia

2 Jun 11

Quad2Go
Quad2Go

28 Apr 11

Linalgo
Linalgo

5 Jul 11

Mga komento sa Pocket KrHyper

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