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)

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540133313
MPN
Springer Berlin Heidelberg 6888626

Eigenschaften

Menü