Work

Proof validation in real analysis: Inferring and checking warrants

Year: 2005
Type: article
Language: English
Subfield: Education
Open Access status: closed
OpenAlex ID: W2017691329
FWCI: 3.19
Cites: 24
Cited by: 114
Related to: 10