Computation theory and logic : in memory of Dieter Rödding on the occasion of the 50th anniversary of his birth.
Saved in:
Personal Name(s): | Rödding, Dieter, Festschrift. |
---|---|
Börger, Egon, editor | |
Imprint: |
Berlin :
Springer,
1987.
|
Physical Description: |
IX, 442 S. |
Note: |
englisch |
ISBN: |
0387181709 9783540181705 9780387181707 3540181709 |
Series Title: |
Lecture notes in computer science ;
270. |
Classification: |
LEADER | 00894cam a2200253 n 4500 | ||
---|---|---|---|
001 | 126620 | ||
005 | 19990415115400.0 | ||
008 | r1987 | ||
020 | |a 3540181709 | ||
020 | |a 0387181709 | ||
035 | |a (Sirsi) a112554 | ||
084 | 0 | |a MDB - Logics |2 ZB | |
084 | 0 | |a MDE - Decidability, calculability, enumerability |2 ZB | |
245 | 0 | 0 | |a Computation theory and logic : |b in memory of Dieter Rödding on the occasion of the 50th anniversary of his birth. |
260 | |a Berlin : |b Springer, |c 1987. | ||
300 | |a IX, 442 S. | ||
490 | 0 | |a Lecture notes in computer science ; |v 270. | |
500 | |a englisch | ||
596 | |a 1 | ||
700 | 1 | |a Rödding, Dieter, |e Festschrift. | |
700 | 1 | |a Börger, Egon, |e Hrsg. | |
900 | |a S 002219-0270'01' | ||
908 | |a Monographie, Sammelwerk | ||
949 | |a S 002219-0270'01' |w LC |c 1 |i 1089101288 |d 7/11/1997 |l STACKS |m ZB |r Y |s Y |t ZBB |u 25/3/2009 |x ZB-M |1 PRINT |