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 BibTeX
Copyright © Sat May 16 23:28:29 2009
by Michael Ley (ley@uni-trier.de)
