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/Westfahlen.
Lecture Notes in Computer Science 171 Springer 1984, ISBN 3-540-13331-3
Contents 
Last update Fri May 25 08:24:57 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
