DMCA

The Philosophy of Automated Theorem Proving (1991)

Cached

Download Links

by Francis Jeffry Pelletier
Venue:In Proceedings of the 12. International Joint Conference on Artificial Intelligence (IJCAI-91
Citations:11 - 2 self