Login
|
New Account
ITA
ENG
The Problem of Reasoning by Case Analysis
Authors
L.Wos
Citation
L.wos, The Problem of Reasoning by Case Analysis, Journal of automated reasoning , 11(2), 1993, pp. 269-288
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
11
Issue
2
Year of publication
1993
Pages
269 - 288
Database
ACNP
SICI code