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,...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

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.

2 250 Kč

Nepřehlédněte od American Mathematical Society

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!