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

Ruler
Ruler

7 Feb 13

mPustakMultiply
mPustakMultiply

25 Jan 11

Numbers
Numbers

1 Jul 11

Mobile Maths v1.7
Mobile Maths v1.7

24 Jan 13

Yorumlar Pocket KrHyper

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