Productive Use of Failure in Inductive Proof

Authors
A.Ireland,A.Bundy
Citation
A.ireland,a.bundy, Productive Use of Failure in Inductive Proof, Journal of automated reasoning , 16(1;2), 1996, pp. 79-111
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
16
Issue
1;2
Year of publication
1996
Pages
79 - 111
Database
ACNP
SICI code