Book serie: / Книги серии: Lecture Notes in Computer Science 171 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 171

book 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

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

djvu

Author: Klaus Ambos-Spies (auth.) E. Börger G. Hasenjaeger D. Rödding (eds.)
Language: English
Year: 1984

00

26.01.2024

0

0