Logic and Machines decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding
Symposium on "Rekursive Kombinatorik" (Westfalen 1983)
Logic and Machines decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding - Berlin Springer-Verlag 1984 - vi, 456p. - Lecture notes in computer science, 171. .
3540133313
511 / N84;1
Logic and Machines decision problems and complexity /ed. by E. Borger, G. Hasenjaeger and D. Rodding - Berlin Springer-Verlag 1984 - vi, 456p. - Lecture notes in computer science, 171. .
3540133313
511 / N84;1