Logic and Machines: Decision Problems and Complexity
Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
E. Börger
Themen in »Logic and Machines: Decision Problems and Complexity«
Arithmetic Automatentheorie Entscheidung (Math.) Equivalence Komplexität (Math.) Logic NP Turing machine boolean satisfiability problem complexity mathematical logic proof turing degree
Stimmen zu »Logic and Machines: Decision Problems and Complexity«
Details
ISBN: 9783540133315
Verlag: Springer Berlin
Erscheinung: 01.05.1984