The resolution calculus

The resolution calculus1997
Details
- First published
- 1997
- OL Work ID
- OL3337701W
Subjects
Automatic theorem provingThéorie démonstrationRaffinementRésolution problèmeThéorèmesRésolution de problèmeDémonstration automatiqueInformatiquePreuve, Théorie de laAuflösungsprinzipAutomatisches BeweisverfahrenQa76.9.a96 l44 1997511.3