Pocket KrHyper
является теорема доказывает библиотека для J2ME мобильных телефонов. Он поддерживает рассуждения в Пропозициональные, первого порядка, а также описание логики и направлена на мобильное управление знаниями или семантических веб-приложений. & Мидот; Первый рассуждающий для...
читать далее