lo.logic automated-theorem-proving asked Nov 11 '15 at 6:25

research asked May 15 '16 at 2:26