Induction Using Term Orders

Authors
F.Bronsard,U.S.Reddy
Citation
F.bronsard,u.s.reddy, Induction Using Term Orders, Journal of automated reasoning , 16(1;2), 1996, pp. 3-37
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
16
Issue
1;2
Year of publication
1996
Pages
3 - 37
Database
ACNP
SICI code