Application Ətraflı:
Version: 0.9.3
Tarixi Upload: 20 Jun 11
Geliştirici: Thomas Kleemann, Alex Sinner
Lisenziya: Pulsuz
Məşhurluq: 36
Boy: 75 Kb
Pocket KrHyper J2ME mobil telefonlar üçün teorem isbat kitabxanadır. Bu propositional, birinci və təsviri məntiq əsaslandırıcı dəstəkləyir və mobil bilik idarə və ya semantik web applications yönəlmişdir.
& Middot; Mobil telefonlar üçün ilk Reasoner
& Middot; az resurslardan istifadə edir
& Middot; clausal birinci məntiq və təsviri məntiq İnterfeys
Şərhlər tapılmadı