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)

37.44 EUR

Marke: Springer Berlin Heidelberg
ISBN: 3540133313
MPN: 6888626