DMCA

Structured Theory Development for a Mechanized Logic (1999)

Cached

Download Links

by Matt Kaufmann , J Strother Moore
Venue:Journal of Automated Reasoning
Citations:53 - 16 self