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
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Conference Proceedings
Title:
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