Detalhes de Aplicação:
Versão: 0.9.3
Data de upload: 20 Jun 11
Revelador: Thomas Kleemann, Alex Sinner
Licença: Livre
Popularidade: 36
Tamanho: 75 Kb
Pocket KrHyper É um teorema que provam a biblioteca para telefones móveis de J2ME. Suporta o raciocínio na lógica proposicional, de primeira ordem e de descrição e visa a gestão de conhecimento móvel ou aplicações web semânticas.
& Middot; O primeiro raciocínio para telefones celulares
& Middot; Usa poucos recursos
& Middot; Interfaces para lógica lógica de primeira ordem e lógica de descrição
Comentários não encontrado