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...
Skaityti daugiau