Logical Foundations of Proof Complexity - Cook, Stephen (University of Toronto) - Grāmatas - Cambridge University Press - 9780521517294 - 2010. gada 25. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Cook, Stephen (University of Toronto)
Logical Foundations of Proof Complexity

Cena
€ 150,49

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

Paredzamā piegāde . gada 18. nov. - . gada 2. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Cook, Stephen (University of Toronto) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.

496 pages, 17 b/w illus. 5 tables

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2010. gada 25. janvāris
ISBN13 9780521517294
Izdevēji Cambridge University Press
Lapas 496
Izmēri 156 × 234 × 32 mm   ·   940 g
Valoda Angļu  

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

Skatīt visus Cook, Stephen (University of Toronto)