Proof Complexity and Feasible Arithmetics
Stabilní cena
Aktuální cena je nejnižší za posledních 30 dní.
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.
Tip: Podívejte se také na další produkty z kategorie Počítačová věda.
Vývoj ceny
Podobné produkty
Specifikace
- EAN
- 9780821805770
Recenze
Recenze u nás zatím nikdo nenapsal — budete první?
