Media type: Electronic Thesis; E-Book; Doctoral Thesis Title: Informationsverdichtung von Modellen in der Aussagenlogik und das P-NP-Problem Contributor: Lieberherr, Karl [Author] imprint: ETH Zürich, 1977 Language: German DOI: https://doi.org/20.500.11850/135374; https://doi.org/10.3929/ethz-a-000104618 Keywords: PROPOSITIONAL LOGIC (MATHEMATICAL LOGIC) ; AUSSAGENLOGIK (MATHEMATISCHE LOGIK) ; ALGORITHMIC COMPLEXITY (MATHEMATICS) ; Mathematics ; ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK) ; ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ; DECISION PROBLEMS (MATHEMATICAL LOGIC) Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted