Pocket KrHyper 0.9.3

is 'n stelling te bewys biblioteek vir J2ME selfone. Dit word ondersteun deur redenasie in proposisionele, eerste orde, en beskrywing logika en is daarop gemik om mobiele kennisbestuur of semantiese web programme. & Middot; Die eerste redenaar vir...