|
Volumn , Issue , 2005, Pages
|
The Nuts and Bolts of Proofs
a |
Author keywords
[No Author keywords available]
|
Indexed keywords
|
EID: 85014210551
PISSN: None
EISSN: None
Source Type: Book
DOI: 10.1016/B978-0-12-088509-1.X5000-4 Document Type: Book |
Times cited : (6)
|
References (44)
|