Új ingyenes Tudomány és Oktatás alkalmazások Thomas Kleemann, Alex Sinner

egy tétel bizonyítása könyvtár J2ME mobiltelefonok. Támogatja indokolás propozicionális, elsőrendű, és leírás a logika és a célja, hogy a mobil tudásmenedzsment vagy szemantikus web alkalmazások. & Middot; Az első következtető mobiltelefonokhoz & Middot; Felhasználás kevés forrásokat & Middot; Interfészek clausal elsőrendű logika és leírás...

Tovább