Basic Research Problems: The Problem of Strategy and Hyperresolution

Authors
L.Wos
Citation
L.wos, Basic Research Problems: The Problem of Strategy and Hyperresolution, Journal of automated reasoning , 12(1), 1994, pp. 133-134
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
1
Year of publication
1994
Pages
133 - 134
Database
ACNP
SICI code