DMCA

The Use of Explicit Plans to Guide Inductive Proofs (1988)

Cached

Download Links

by Alan Bundy
Venue:9TH CONFERENCE ON AUTOMATED DEDUCTION
Citations:293 - 40 self