Pocket KrHyper
on lause osoittautumassa kirjasto J2ME matkapuhelimissa. Se tukee perusteluja lause-, ensimmäisen kertaluvun ja kuvaus logiikka ja sen tarkoituksena on liikkuvan tiedon hallinta tai semanttista web-sovelluksia. & Middot; Ensimmäinen Reasoner matkapuhelimiin & Middot; Käyttää vähän resursseja & Middot; Liitännät Clausal ensimmäisen kertaluvun logiikan ja kuvaus...
Lue lisää