Commonsense and Nonmonotonic Reasoning: Mechanical Verification of Strategies

Authors
S.Subramanian
Citation
S.subramanian, Commonsense and Nonmonotonic Reasoning: Mechanical Verification of Strategies, Journal of automated reasoning , 15(1), 1995, pp. 69-93
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
15
Issue
1
Year of publication
1995
Pages
69 - 93
Database
ACNP
SICI code