3 ms·
Automated Theorem Proving, David Plaisted http://onlinelibrary.wiley.com/doi/10.1002/wcs.1269/full http://onlinelibrary.wiley.com/doi/10.1002/wcs.1269/full
by alok-g 9y ago
Automated Theorem Proving, David Plaisted
http://onlinelibrary.wiley.com/doi/10.1002/wcs.1269/full http://onlinelibrary.wiley.com/doi/10.1002/wcs.1269/full