Pocket KrHyper 0.9.3

è una dimostrazione libreria teorema per i telefoni cellulari J2ME. Supporta ragionamento proposizionale, primo ordine, e la descrizione logica e ha lo scopo di gestione della conoscenza mobili o applicazioni web semantico. & Middot; Il primo ragionatore...
Ricerca per dispositivo
Samsung M5650

Samsung M5650
Ricerca per categoria