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 първата логика ред и описание логика

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

Solution (Java)
Solution (Java)

26 Jun 11

Dec2Bin
Dec2Bin

10 Mar 12

mPustakMultiply
mPustakMultiply

25 Jan 11

TouchMathPro
TouchMathPro

23 May 11

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

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