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

Maths Terms
Maths Terms

9 Feb 12

Numbers
Numbers

1 Jul 11

Mobile Maths v1.7
Mobile Maths v1.7

24 Jan 13

Asal Sayilar
Asal Sayilar

3 May 11

Comentário para Pocket KrHyper

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