Automatic Theorem Proving Automatic Theorem Proving A Very Brief Introduction Dr. Lutz Hamel Computer Science & Statistics Definition