
Conte aos seus amigos sobre este item:
Proof Complexity - Encyclopedia of Mathematics and its Applications
Krajicek, Jan (Charles University, Prague)
Proof Complexity - Encyclopedia of Mathematics and its Applications
Krajicek, Jan (Charles University, Prague)
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.
530 pages, Worked examples or Exercises
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 28 de março de 2019 |
ISBN13 | 9781108416849 |
Editoras | Cambridge University Press |
Páginas | 530 |
Dimensões | 242 × 166 × 33 mm · 908 g |
Idioma | English |
Mais por Krajicek, Jan (Charles University, Prague)
Ver tudo de Krajicek, Jan (Charles University, Prague) ( por exemplo Paperback Book e Hardcover Book )