Подробности за приложение:
Версия: 0.9.3
Дата на качване: 20 Jun 11
Розробник: Thomas Kleemann, Alex Sinner
Разрешително: Безплатно
Популярност: 36
Размер: 75 Kb
Pocket KrHyper е теорема, доказващ библиотека за мобилни телефони J2ME. Тя подкрепя разсъжденията в Пропозиционални, първи ред, и описание логика и е насочена към мобилен управление на знанието или семантични уеб приложения.
& Middot; Първият reasoner за мобилни телефони
& Middot; ?зползва малко ресурси
& Middot; ?нтерфейси за clausal първата логика ред и описание логика
Коментари не е намерена