Toggle navigation
Home
People
Departments
Research
About
Login
Search
Verifying and Invalidating Textbook Proofs Using Scunak.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Farmer, William Michael
Brown, Chad E
publication date
2006
published in
MKM
Journal
Identity
International Standard Book Number (ISBN) 10
3-540-37104-4
Additional Document Info
start page
110
end page
123
volume
4108