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

mPustakSubtract
mPustakSubtract

25 Jan 11

MobileMaths v1.7
MobileMaths v1.7

23 Jan 13

mjCalculator
mjCalculator

20 Apr 11

Aritm by MOB
Aritm by MOB

27 May 11

Yorumlar Pocket KrHyper

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