> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: The resolution calculus Beteiligte: Leitsch, Alexander [VerfasserIn] Erschienen: Berlin; Heidelberg [u.a.]: Springer, 1997 Erschienen in: Texts in theoretical computer science Umfang: VIII, 300 S; graph. Darst Sprache: Englisch ISBN: 3540618821 RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Schlagwörter: Automatisches Beweisverfahren > Auflösungsprinzip Entstehung: Anmerkungen: Includes bibliographical references (p. [289] - 293) and index
Bereichsbibliothek DrePunct – Freihand Signatur: SK 130 L533 Barcode: 10426413 Status: Benutzung nur im Haus, Versand per Fernleihe möglich