Uygulama Detayları:
Versiyon: 0.9.3
Qayıt: 20 Jun 11
Geliştirici: Thomas Kleemann, Alex Sinner
Lisans: Ücretsiz
Popülerlik: 36
Boyut: 75 Kb
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
Yorum Bulunamadı