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

Bibliotek som har denne