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

Komentarze do Pocket KrHyper

Komentarze nie znaleziono
Dodaj komentarz
Włącz zdjęć!
Szukaj przez urządzenia
Sony Ericsson K850i

Sony Ericsson K850i