Mathematical and Computational Logic Research Group.
Logic Seminar.
Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical pr...