Proof Complexity and Feasible Arithmetics
Vše od
American Mathematical Society
ISBN: 9780821805770
Contains papers that represent the proceedings of the DIMACS workshop on 'Feasible Arithmetics and Proof Complexity' held in April 1996 at Rutgers University in New Jersey as part of the DIMACS Institute's Special Year on Logic and Algorithms. This book covers a number of aspects of the field,...
2 250 Kč
- 1 - 2 ks
- 2 250 Kč
- 3 - 10 ks
- 2 228 Kč
- 11 a více ks
- 2 206 Kč
Předpoklad doručení do 27. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od American Mathematical Society ↓
2 250 Kč
Více o produktu ↓
Contains papers that represent the proceedings of the DIMACS workshop on 'Feasible Arithmetics and Proof Complexity' held in April 1996 at Rutgers University in New Jersey as part of the DIMACS Institute's Special Year on Logic and Algorithms. This book covers a number of aspects of the field, including lower bounds in proof complexity.
- Výrobce
- American Mathematical Society
- Jazyk
- United States
- Rozměry
- 211 x 262 x 22
- Rok vydání
- 1998
- Počet stran
- 320
- Obsah
- Hardback
- Hmotnost
- 784
- Počet stran
- 320 pages
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Proof Complexity and Feasible Arithmetics a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!