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...
Leia mais