Pocket KrHyper

Schermata di applicazione:
Pocket KrHyper
Dettagli di applicazione:
Versione: 0.9.3
Data di caricamento: 20 Jun 11
Licenza: Libero
Popolarità: 36
Dimensione: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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

Applicazioni simili

Commenti a Pocket KrHyper

I commenti non trovato
Aggiungi commento
Accendere le immagini!
Ricerca per dispositivo
Samsung Champ Neo Duos C3262

Samsung Champ Neo Duos C3262