Slide 1The 3 rd Research on Theorem Proving MEC Meeting Hanyang University Proteome Research Lab 2003. 3. 27 Park, Ji-Yoon Slide 2 The 1 st Year Research - Linear Implementation…