Pocket KrHyper
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 selfone & Middot; Gebruik bietjie hulpbronne & Middot; Interfaces vir clausal eerste orde logika en beskrywing...
Lees meer