Ebook: 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
- Genre: Technique
- Tags: Computation by Abstract Devices, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations
- Series: Lecture Notes in Computer Science 171
- Year: 1984
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
Download the 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 for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)