Studies in Automated Reasoning: SET-VAR

Authors
W.W.Bledsoe,G.Feng
Citation
W.w.bledsoe,g.feng, Studies in Automated Reasoning: SET-VAR, Journal of automated reasoning , 11(3), 1993, pp. 293-314
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
3
Year of publication
1993
Pages
293 - 314
Database
ACNP
SICI code