Vytisknout
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 |