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

Distancia
Distancia

2 Jun 11

TouchMaths 5
TouchMaths 5

24 Jan 11

GraphViewer
GraphViewer

6 Feb 11

BrainBooster
BrainBooster

6 Jun 11

Yorumlar Pocket KrHyper

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