E. Börger, G. Hasenjaeger, D. Rödding

Logic and Machines: Decision Problems and Complexity - 1984 - Springer Berlin Heidelberg 1984 - Lecture Notes in Computer Science .

9783540388562


Computer Science