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

MobileMaths
MobileMaths

12 May 11

Quad2Go
Quad2Go

28 Apr 11

Yorumlar Pocket KrHyper

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