Pocket KrHyper

Скріншот додатка:
Pocket KrHyper
Докладна інформація про додатки:
Версія: 0.9.3
Дата завантаження: 20 Jun 11
Розробник: Thomas Kleemann, Alex Sinner
Ліцензія: Безкоштовно
Популярність: 36
Розмір: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper є теорема доводить бібліотека для J2ME мобільних телефонів. Він підтримує міркування в Пропозіціональние, першого порядку, а також опис логіки і направлена ​​на мобільне управління знаннями або семантичних веб-додатків.

& Мідот; Перший розмірковує для мобільних телефонів

& Мідот; Використовує мало ресурсів

& Мідот; Інтерфейси для клаузальной логіки першого порядку і опис логіки

Подібні програми

Asal Sayilar
Asal Sayilar

3 May 11

TouchMathPro
TouchMathPro

23 May 11

Algeo calculator
Algeo calculator

20 Apr 11

Melodies Bgn ruang
Melodies Bgn ruang

26 Apr 11

Pocket KrHyper

Коментар не знайдено
додати коментар
Включіть картинки!