Yeni ücretsiz Için uygulamalar Thomas Kleemann, Alex Sinner

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ığı...

Devamını oku