Automated Theorem Proving People (First 2 people) - Page 0

Alan Bundy

Professor

Lawrence Paulson

Computer scientist