Pocket KrHyper

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...

Czytaj więcej