Pocket KrHyper

Uygulama ekran görüntüsü:
Pocket KrHyper
Uygulama Detayları:
Versiyon: 0.9.3
Qayıt: 20 Jun 11
Lisans: Ücretsiz
Popülerlik: 36
Boyut: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

Pocket KrHyper 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 sebebi

& Middot; Az miktarda kaynak kullanıyor

& Middot; Clausal birinci mertebeden mantık ve açıklama mantığı arayüzleri

Benzer uygulamalar

TouchMaths 8
TouchMaths 8

4 Mar 11

BrainBooster
BrainBooster

6 Jun 11

Trigonometry
Trigonometry

3 Jun 11

Dec2Bin
Dec2Bin

10 Mar 12

Yorumlar Pocket KrHyper

Yorum Bulunamadı
Yorum eklemek
Görüntülerde açın!