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