Towards the Mechanical Verification of Textbook Proofs (2000)

by Claus Zinn
Venue:In Proceedings of the 7th. Workshop on Logic, Language, Information and Computation (WOLLIC-2000
Citations:1 - 1 self