Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Proof Complexity and Feasible Arithmetics

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Proof Complexity and Feasible Arithmetics
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 320
• EAN: 9780821805770
• ISBN: 9780821805770
• ID: 06367835
• Nakladatelství: American Mathematical Society
• Hmotnost: 784 g
• Rozměry: 211 × 262 × 22 mm
• Datum vydání: 15. November 1997

---

---

---