Basic Research Problems: The Problem of Hyperparamodulation

Authors
L.Wos
Citation
L.wos, Basic Research Problems: The Problem of Hyperparamodulation, Journal of automated reasoning , 12(2), 1994, pp. 265-270
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
2
Year of publication
1994
Pages
265 - 270
Database
ACNP
SICI code