Proof validation in real analysis: Inferring and checking warrants
Year: 2005
Type: article
Authors: Lara Alcock, Keith Weber
Institution: Rutgers, The State University of New Jersey
Language: English
Subfield: Education
Field: Social Sciences
Domain: Social Sciences
Open Access status: closed
OpenAlex ID: W2017691329
