|
|||||
|
|
What is the inverse method? |
|
| Authors: | Vladimir Lifschitz |
| Affiliation: | (1) Computer Science Department, Stanford University, 94305 Stanford, CA, U.S.A. |
| Abstract: | A large part of the work on automated reasoning done in the Soviet Union in the sixties and seventies was based on the inverse method proposed by Sergey Maslov. We review the basic ideas of the method in the form that stresses its connection with resolution. |
| Keywords: | Theorem proving inverse method |
| 本文献已被 SpringerLink 等数据库收录！ | |