Non-resolution Theorem Proving '
–AI Classics/files/AI/classics/Webber-Nilsson-Readings/Rdgs-NW-Bledsoe.pdf
This talk reviews those efforts in automatic theorem proving, during the past few years, which have theory, very easy for the computer.
Jan-25-2015, 22:28:32 GMT
- Country:
- Europe (1.00)
- North America > United States
- California (0.46)
- Texas > Travis County
- Austin (0.28)
- Technology: