Hodes, Louis

1 publications

IJCAI 1971 Solving Problems by Formula Manipulation in Logic and Linear Inequalities Louis Hodes