Towards the Mechanical Verification of Textbook Proofs

Towards the Mechanical Verification of Textbook Proofs

Cached

Download Links

[sites.google.com]
[sites.google.com]
[www.cogsci.ed.ac.uk]

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Claus Zinn

Citations:

1 - 1 self

Document Versions

Towards the Mechanical Verification of Textbook Proofs –Claus Zinn — 2000 — In Proceedings of the 7th. Workshop on Logic, Language, Information and Computation (WOLLIC-2000

Towards the Mechanical Verification of Textbook Proofs –Claus Zinn