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ış
Nokai 6500 Classic

Nokai 6500 Classic
Son Gezilenler proqram
Kateqoriya axtarış