Verifying Textbook Proofs (1998)

by Claus Zinn
Venue:INT. WORKSHOP ON FIRSTORDER THEOREM PROVING (FTP'98), TECHNICAL REPORT E1852-GS-981
Citations:3 - 3 self