Pocket KrHyper 0.9.3

É 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...