Pocket KrHyper
è 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 per i telefoni cellulari & Middot; Utilizza poche risorse & Middot; Interfacce per la logica fine primo clausal e la descrizione...
Per saperne di più