Pocket KrHyper

Screenshot taikymo:
Pocket KrHyper
Taikymo informacija:
Versija: 0.9.3
Įkėlimo datą: 20 Jun 11
Licencija: Nemokamai
Populiarumas: 36
Dydis: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper yra teorema įrodyti biblioteka J2ME mobiliųjų telefonų. Jis palaiko argumentus Teiginių, pirmos eilės, ir aprašymas logikos ir yra skirta mobiliųjų žinių valdymo ar semantinių žiniatinklio taikomąsias programas.

& Middot; Pirmasis reasoner mobiliesiems telefonams

& Middot; Naudoja mažai išteklių

& Middot; Sąsajos clausal pirmą užsakymo logika ir aprašymas logika

Panašūs pieteikumi

Komentarai Pocket KrHyper

Komentarai nerastas
Pridėti komentarą
Pasukite ant paveikslėlio!
Paieška pagal prietaiso
Sony Ericsson Hazel J20

Sony Ericsson Hazel J20