Vytisknout
1. Handbook of satisfiability
Handbook of satisfiability / edited by Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh. Amsterdam : IOS Press, [2009] ©2009. xiii, 966 stran Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
PRF | 2 | 0 | 0 | 1 | 0 | 0 |