Pocket KrHyper

Screenshot de Aplicação:
Pocket KrHyper
Detalhes de Aplicação:
Versão: 0.9.3
Data de upload: 20 Jun 11
Licença: Livre
Popularidade: 36
Tamanho: 75 Kb

Rating: 1.4/5 (Total Votes: 8)

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

Aplicações semelhantes

Graph (Java)
Graph (Java)

29 May 11

Jasymca
Jasymca

24 Jun 11

Greenfish Plot
Greenfish Plot

1 Jun 11

TouchSheet_ME
TouchSheet_ME

6 Jun 11

Comentário para Pocket KrHyper

Comentários não encontrado
Adicionar comentário
Ligue imagens!