Bounded Arithmetic, Propositional Logic and Complexity Theory
- Autor
- Krajicek
- Matèria
-
- Computer Science
-
- Mathematics
-
- Algorithmics
-
- Complexity
-
- Computer Algebra
-
- Computational Geometry
-
- Logic
-
- Categories and Sets
- Editor
- Cambridge University Press
- Data publicació
- 1995
- Identificador
- 9780511529948
- Col·lecció
- Accés https://doi.org/10.1017/CBO9780511529948