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

MobileMaths v1.7
MobileMaths v1.7

23 Jan 13

mPustakAdd
mPustakAdd

13 Feb 11

HexNumber
HexNumber

10 Jun 11

Komentarze do Pocket KrHyper

Komentarze nie znaleziono
Dodaj komentarz
Włącz zdjęć!
Szukaj przez urządzenia
Samsung Solstice

Samsung Solstice