Logic and Machines: Decision Problems and Complexity
Subtitle: Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23 - 28, 1983 at the Institut ... (Lecture Notes in Computer Science)
Contributors: E. Börger (Editor); G. Hasenjaeger (Editor); D. Rödding (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 15, 1984
Language: eng
Format: Paperback
Number of pages: 468
ISBN-13: 9783540133315
Subjects: Computer Science; Logic; Automatentheorie; Complexity; Computers / Computer Science; Entscheidung (Math.); Komplexität (Math.); Mathematics : Logic; Computers - General Information