Automated Theorem Proving in First-Order and Higher-Order...
85
Automated Theorem Proving in First-Order and Higher-Order Logic Christoph Benzm ¨ uller Department of Computer Science, Saarland University Lecture Course Saarbr ¤ ucken, Germany Lecture Course
Transcript of Automated Theorem Proving in First-Order and Higher-Order...
c Benzmuller 2004
c Benzm¨Cont'r
c
ulle( )T2.1641330 Td(2004 )Tj26R31 1 Tf35.7048 -35.7048 -0 69.48 46.1899t 8P
Benzm
¨
uller2004