ModGen: Theorem Proving by Model Generation (1994)

Cached

Download Links

by Sun Kim , Sun Kim Hantao
Venue:in Proc. National Conference of American Association on Artificial Intelligence (AAAI-94
Citations:14 - 1 self