Programas por plman.sf.net

PLMan é uma analisadora/calculadora de frases lógicas proposicionais com variávelcapacidade de manuseio implementada em Java, o que significa que ele é executado em cada JVMambiente instalado (Unix, Linux, Windows, etc.).