Login
|
New Account
ITA
ENG
Preface
Authors
D.Kapur,D.Wang
Citation
D.kapur,d.wang, Preface, Journal of automated reasoning , 21(3), 1998, pp. 277-278
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
21
Issue
3
Year of publication
1998
Pages
277 - 278
Database
ACNP
SICI code