DMCA

Using Failure to Guide Inductive Proof (1992)

Cached

Download Links

by Andrew Ireland , Alan Bundy
Venue:JOURNAL OF AUTOMATED REASONING
Citations:7 - 1 self