Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference, SAT 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. [elektronicky zdroj]
| Autor: | Beyersdorff, Olaf |
|---|---|
| Další autoři: | |
| Jazyk: | angličtina |
| Informace o vydání: | Cham : Springer International Publishing AG, 2018. |
| Předmět: | |
| Druh dokumentu: | Online; Non-fiction; Electronic document |
| Databáze: | Vybrané kolekce e-knih |
| Externí odkaz: |
|