Proof complexity feasible arithmetics (3 résultats)
- Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 89,10
EUR 14,59 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Hardcover. Etat : Brand New. 320 pages. 10.25x7.25x0.50 inches. In Stock.
- Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 131,14
EUR 9,09 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. 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. Editor(s): Beame, Paul W.; Buss, Samuel R. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 320 pages. BIC Classification: PBCD; UFM; UYA. Category: (P) Professional & Vocational. Dimension: 211 x 262 x 22. Weight in Grams: 784. . 1997. hardcover. . . . . Books ship from the US and Ireland.
- Couverture rigide
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 151,10
EUR 9,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. 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. Editor(s): Beame, Paul W.; Buss, Samuel R. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 320 pages. BIC Classification: PBCD; UFM; UYA. Category: (P) Professional & Vocational. Dimension: 211 x 262 x 22. Weight in Grams: 784. . 1997. hardcover. . . . .
