Pocket KrHyper 0.9.3

J2ME mobil telefonlar üçün teorem isbat kitabxanadır. Bu propositional, birinci və təsviri məntiq əsaslandırıcı dəstəkləyir və mobil bilik idarə və ya semantik web applications yönəlmişdir. & Middot; Mobil telefonlar üçün ilk...
Cihaz axtarış
Samsung B5722

Samsung B5722
Son Gezilenler proqram
Kateqoriya axtarış