The resolution calculus
by Alexander Leitsch · 1997
No description available.
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 1997