> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Superposition and decision procedures back and forth Beteiligte: Hillenbrand, Thomas [Verfasser] Erschienen: Online-Ausg.:: 2009, [2009] Sprache: Englisch Identifikator: Schlagwörter: Superposition <Mathematik> ; Entscheidungsverfahren ; Deduktion ; Hochschulschrift Art der Reproduktion: Online-Ausg.: Reproduktionsnotiz: [Online-Ausg.] Entstehung: Hochschulschrift: Saarbrücken, Univ., Diss., 2009 Anmerkungen: Zugangsstatus: Freier Zugang