DMCA

Assertion-level Proof Representation withUnder-Specification (2003)

Cached

Download Links

by Serge Auxetier, et al.
Venue:MATHEMATICAL KNOWLEDGE MANAGEMENT 2003 PRELIMINARY VERSION