DMCA

Tactic theorem proving with renement-tree proofs and metavariables

Cached

Download Links

by Amy Felty , Douglas Howe
Venue:In Automated Deduction(CADE-12), volume 814 of Lecture
Citations:1 - 0 self