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