TY -
BOOK
AU - Leitsch, Alexander
TI -
The resolution calculus
PB - Springer
SN - 3540618821
KW - Automatic theorem proving
KW - Automatisches Beweisverfahren
KW - Auflösungsprinzip
PY - 1997
N2 - Includes bibliographical references (p. [289] - 293) and index
BT - Texts in theoretical computer science
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -