Детали приложения:
Версия: 0.9.3
Дата загрузки: 20 Jun 11
Разработчик: Thomas Kleemann, Alex Sinner
Тип распространения: Бесплатная
Популярность: 36
Размер: 75 Kb
Pocket KrHyper является теорема доказывает библиотека для J2ME мобильных телефонов. Он поддерживает рассуждения в Пропозициональные, первого порядка, а также описание логики и направлена на мобильное управление знаниями или семантических веб-приложений.
& Мидот; Первый рассуждающий для мобильных телефонов
& Мидот; ?спользует мало ресурсов
& Мидот; ?нтерфейсы для клаузальной логики первого порядка и описание логики
Комментарий не найдено