Dettagli di applicazione:
Versione: 0.9.3
Data di caricamento: 20 Jun 11
Sviluppatore: Thomas Kleemann, Alex Sinner
Licenza: Libero
Popolarità: 36
Dimensione: 75 Kb
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 logica
I commenti non trovato