Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut ... Notes in Computer Science (171), Band 171)

von: D. R??dding · G. Hasenjaeger · E. B??rger Taschenbuch Details (Deutschland) ISBN: 978-3-540-13331-5 ISBN-10: 3-540-13331-3 Springer · 2008