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

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

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

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

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

mPustakSubtract
mPustakSubtract

25 Jan 11

Graph2Go
Graph2Go

28 Apr 11

HexNumber
HexNumber

10 Jun 11

Love-math
Love-math

18 Sep 15

Pocket KrHyper

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