Skip to content

Reference Choices in Mathematical Proofs.

X. Huang

VenueAECAI
Year1990
ProceedingsECAI

Browse the full ECAI paper archive.