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 мобільних телефонів. Він підтримує міркування в Пропозіціональние, першого порядку, а також опис логіки і направлена ​​на мобільне управління знаннями або семантичних веб-додатків.

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

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

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

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

Graph (Java)
Graph (Java)

29 May 11

MobileMaths v1.7
MobileMaths v1.7

23 Jan 13

Graph2Go
Graph2Go

28 Apr 11

TouchMaths
TouchMaths

12 May 11

Pocket KrHyper

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