The Hot List Strategy

Authors
L.Wos,G.W.Pieper
Citation
L.wos,g.w.pieper, The Hot List Strategy, Journal of automated reasoning , 22(1), 1999, pp. 1-44
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
22
Issue
1
Year of publication
1999
Pages
1 - 44
Database
ACNP
SICI code