Documents
Authors
Tables
Other Seers ▼
RefSeer
AckSeer
CollabSeer
SeerSeer
Log in
Sign up
MetaCart
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations |
Disambiguate
Tables:
Towards the Mechanical Verification of Textbook Proofs
by Claus Zinn
Add To MetaCart
Tools
Sorted by:
Citation Count
Year (Descending)
Year (Ascending)
Recency
Results
1 - 1
of
1
Understanding Informal Mathematical Discourse
by Claus Werner Zinn
, 2004
"... ..."
Abstract
-
Cited by 14 (0 self)
-
Add to MetaCart
Abstract not found