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. Тя подкрепя разсъжденията в Пропозиционални, първи ред, и описание логика и е насочена към мобилен управление на знанието или семантични уеб приложения.

& Middot; Първият reasoner за мобилни телефони

& Middot; �?зползва малко ресурси

& Middot; �?нтерфейси за clausal първата логика ред и описание логика

Подобни приложения

TouchMaths 9
TouchMaths 9

3 Mar 11

NumBasis
NumBasis

14 Jun 11

sodBrain MathEasy
sodBrain MathEasy

22 May 11

PRIMElet V1.01
PRIMElet V1.01

17 May 11

Коментари към Pocket KrHyper

Коментари не е намерена
добавите коментар
Включете на изображения!