TY  - GEN
TY  - GEN
T1  - Entscheidbarkeit und Komplexität der Funktionsgleichheit von Programmen
A1  - Beck, Heinrich
LA  - deu
PP  - Karlsruhe
PB  - U Karlsruhe
YR  - 1980
UL  - https://kansalliskirjasto.finna.fi/Record/vaari.395374
ER  -