Media type: Book Title: The resolution calculus Contributor: Leitsch, Alexander [Author] imprint: Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Texts in theoretical computer science Extent: VIII, 300 S; graph. Darst Language: English ISBN: 3540618821 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Automatisches Beweisverfahren > Auflösungsprinzip Origination: Footnote: Includes bibliographical references (p. [289] - 293) and index
Departmental Library DrePunct – open access area Shelf-mark: SK 130 L533 Item ID: 10426413 Status: To be used in the library, interlibrary loan possible