Logic and Machines
Logic and Machines 1983: Münster, Germany
Egon Börger, Gisbert Hasenjaeger, Dieter Rödding (Eds.): 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. Springer 1984 Lecture Notes in Computer Science 171 ISBN 3-540-13331-3 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team