The Heine-Borel challenge problem. In honor of Woody Bledsoe

DOI10.1023/A:1005843328643zbMath0893.68136OpenAlexW1489232789MaRDI QIDQ1383991

Erica Melis

Publication date: 24 August 1998

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005843328643

zbMATH Keywords

Heine-Borel theoremproof plan construction

Mathematics Subject Classification ID

Related Items (2)

Knowledge-based proof planning ⋮ Constraint solving for proof planning

This page was built for publication: The Heine-Borel challenge problem. In honor of Woody Bledsoe