Proof Complexity Generators
- Autor
- KrajíÄek
- Matèria
-
- Computer Science
-
- Mathematics
-
- Algorithmics
-
- Complexity
-
- Computer Algebra
-
- Computational Geometry
-
- Logic
-
- Categories and Sets
- Editor
- Cambridge University Press
- Data publicació
- 2025
- Identificador
- 9781009611664
- Col·lecció
- Accés https://doi.org/10.1017/9781009611664