Программы plman.sf.net
-
PLMan - Propositional Logic Parser Бесплатный
PLMan является предложение логики предложение парсер / калькулятор с переменнойвозможности обработки, реализованные в Java, что означает, что она работает на каждом JVMустановленная среда (Unix, Linux, Windows и т.д.).