Pocket KrHyper

Zrzut ekranu z aplikacji:
Pocket KrHyper
Szczegóły do ​​uzgodnienia:
Wersja: 0.9.3
Filmu: 20 Jun 11
Licencja: Wolny
Popularność: 36
Rozmiar: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper jest dowodzenie twierdzen biblioteki dla J2ME telefonów komórkowych. Obsługuje rozumowanie w zdaniowych, pierwszego rzędu, oraz opis logiki i ma na celu zarządzanie wiedzą ruchomej lub semantycznych aplikacji internetowych.

& Middot; Pierwszy logiczny dla telefonów komórkowych

& Middot; Wykorzystuje niewiele zasobów

& Middot; Interfejsy clausal logice pierwszego rzędu i opisach logiki

Podobne programy

Function Grapher
Function Grapher

26 Apr 11

MobileMaths
MobileMaths

12 May 11

mPustakSubtract
mPustakSubtract

25 Jan 11

mathGame
mathGame

18 May 11

Komentarze do Pocket KrHyper

Komentarze nie znaleziono
Dodaj komentarz
Włącz zdjęć!