The classical decision problem
Egon Börger, Erich Grädel, Yuri Gurevich
Bok Engelsk 1997
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | XII, 482 s. : fig.
|
Emner | |
ISBN | 038757073X. - 354057073X
|
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | XII, 482 s. : fig.
|
Emner | |
ISBN | 038757073X. - 354057073X
|