Pocket KrHyper
е теорема, доказващ библиотека за мобилни телефони J2ME. Тя подкрепя разсъжденията в Пропозиционални, първи ред, и описание логика и е насочена към мобилен управление на знанието или семантични уеб приложения. & Middot; Първият reasoner за мобилни телефони & Middot; ?зползва малко ресурси &...
прочети повече