Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series - Krajicek, Jan (Charles University, Prague) - Grāmatas - Cambridge University Press - 9780521154338 - 2010. gada 23. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series

Cena
€ 79,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 21. sept. - . gada 5. okt.
Saņemiet paziņojumus par jauniem Krajicek, Jan (Charles University, Prague) izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.


264 pages, Illustrations

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 23. decembris
ISBN13 9780521154338
Izdevēji Cambridge University Press
Lapas 264
Izmēri 152 × 225 × 15 mm   ·   382 g
Valoda Angļu  

Vairāk no Krajicek, Jan (Charles University, Prague)

Rādīt visu

Vairāk no tā paša izdevēja