Szczegóły do uzgodnienia:
Wersja: 0.9.3
Filmu: 20 Jun 11
Wywoływacz: Thomas Kleemann, Alex Sinner
Licencja: Wolny
Popularność: 36
Rozmiar: 75 Kb
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
Komentarze nie znaleziono