oprava existující anotace, přidání nové anotace
|
Název: |
| Handbook of satisfiability |
Autor: |
| Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh |
Rok vydání: |
| c2009 |
Identifikátory: |
| 9781586039295 (OCoLC)647816504 |
|
© 2013-2024 Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích, admin@obalkyknih.cz