Handbook of Satisfiability : Second Edition
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional s...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
London :
SAGE Publications
2021.
Paris : Cyberlibris |
| Accés en línia: | Accès Université d'Orléans et IFPM |
| Nota: |
Couverture. https://static2.cyberlibris.com/books_upload/300pix/9781643681610.jpg Cyberlibris (ScholarVox) corpus Informatique |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Handbook of Satisfiability, Second Edition, Edited by Armin Biere, Hans Van Maaren, Toby Walsh, London, SAGE Publications, 2021, 1 vol. (1486 p.), 978-16-4368-161-0 |