Donald N. Cohen

• Knowledge based theorem proving and learning