Pocket KrHyper 0.9.3

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...
Atsisiųsti tiesiai iš savo prietaiso nuskaitymo QR kodą žemiau,
Nėra brūkšninių kodų skaitytuvas? Atsisiųsti iš čia
QR kodą TEC IT Brūkšninis kodas Programinė įranga

Rekomenduojamos programos Už Nokia Asha 311