Functional instantiation in first order logic (1991)

Cached

Download Links

by R. S. Boyer , D. M. Goldschlag , M. Kaufmann , J S. Moore
Venue:GROUP, UNIVERSITY OF GOTEBORG
Citations:20 - 13 self