Automated theorem proving: mapping logic into AI (1986)

Cached

Download Links

by D. W. Loveland
Venue:Proceedings of the International Symposium on Methodologies for Intelligent Systems
Citations:1 - 0 self