Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2019. gada 28. marts |
| ISBN13 | 9781108416849 |
| Izdevēji | Cambridge University Press |
| Lapas | 530 |
| Izmēri | 242 × 166 × 33 mm · 908 g |
| Valoda | Angļu |