Pocket KrHyper 0.9.3

J2ME cep telefonları için bir teorem kanıtlayan kütüphanedir. Önermesel, birinci dereceden ve açıklama mantığındaki mantığı destekler ve mobil bilgi yönetimi veya semantik web uygulamaları hedeflenir. & Middot; Cep telefonlarının ilk...
Cihaza göre ara
Benim cihaz
En son incelediğim yazılım
Kategoriye göre ara