Media type: E-Book; Thesis Title: Superposition and decision procedures back and forth Contributor: Hillenbrand, Thomas [Verfasser] imprint: Online-Ausg.:: 2009, [2009] Language: English Identifier: Keywords: Superposition <Mathematik> ; Entscheidungsverfahren ; Deduktion ; Hochschulschrift Type of reproduction: Online-Ausg.: Reproduction note: [Online-Ausg.] Origination: University thesis: Saarbrücken, Univ., Diss., 2009 Footnote: Access State: Open Access