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...
Daha ətraflı