The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe

Authors
E.Melis
Citation
E.melis, The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe, Journal of automated reasoning , 20(3), 1998, pp. 255-282
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
3
Year of publication
1998
Pages
255 - 282
Database
ACNP
SICI code