A. Ireland, Alan Bundy
Research output: Contribution to journal › Article › peer-review
Extensions to a generalization critic for inductive proof. / Ireland, A.; Bundy, Alan.
TY - JOUR
T1 - Extensions to a generalization critic for inductive proof
AU - Ireland, A.
AU - Bundy, Alan
PY - 1996
Y1 - 1996
M3 - Article
VL - Lecture notes in Artiﬁcial Intelligence 1104
JO - Automated Deduction - CADE-13
JF - Automated Deduction - CADE-13