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