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

TouchMaths 4
TouchMaths 4

24 Jan 11

TouchMaths
TouchMaths

12 May 11

PRIMElet V1.01
PRIMElet V1.01

17 May 11

Solution (Java)
Solution (Java)

26 Jun 11

Komentarze do Pocket KrHyper

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