Basic Research Problems: The Problem of Reasoning from Inequalities

Authors
L.Wos
Citation
L.wos, Basic Research Problems: The Problem of Reasoning from Inequalities, Journal of automated reasoning , 8(3), 1992, pp. 421-426
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
8
Issue
3
Year of publication
1992
Pages
421 - 426
Database
ACNP
SICI code