1. The classical decision problem
The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich. Berlin ; Heidelberg ; New York : Springer, 2001. x, 482 s. Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
PRF | 0 | 0 | 0 | 1 | 0 | 0 |