Kategóriák: Tudomány és Oktatás, Math
- Főoldal
- Java
- Nokia 5130
- Pocket KrHyper
- Letöltés ...
Keresés eszköz
![Nokia 5130](https://static.java-ware.net/data/devices/images/Nokia5130.jpg)
Nokia 5130
Keresés kategória szerint
Pocket KrHyper 0.9.3
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ő...
Keresés eszköz
![Nokia 5130](https://static.java-ware.net/data/devices/images/Nokia5130.jpg)
Nokia 5130