Checking Textbook Proofs (1998)

by Claus Zinn
Venue:Int. Workshop on FirstOrder Theorem Proving (FTP'98), Technical Report E1852-GS-981

Document Versions

Checking Textbook Proofs –Claus Zinn — 1998 — Int. Workshop on FirstOrder Theorem Proving (FTP'98), Technical Report E1852-GS-981
Checking Textbook Proofs –Claus Zinn, Herbert Stoyan — 1998 — Int. Workshop on FirstOrder Theorem Proving (FTP'98), Technical Report E1852-GS-981
Checking Textbook Proofs –Claus Zinn