Montant total (1 article articles) :
Destination de la commande :
9780521517294 - Logical Foundations of Proof Complexity de Cook, Stephen; Nguyen, Phuong (23 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (23)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (17)
- Comme neuf, Très bon ou Bon (5)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Reliure
- Toutes
- Couverture rigide (23)
- Couverture souple (Aucun autre résultat ne correspond à ces critères)
Particularités
- Ed. originale (2)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (8)
- Sans impressions à la demande (17)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Logical Foundations of Proof Complexity (Perspectives in Logic)
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Prior Books Ltd, Cheltenham, Royaume-Uni
Membre d'association : ABA ILAB PBFA
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 46,94
EUR 25,07 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. First Edition. A firm and square hardback with sharp corners and strong joints, just showing a few very minor cosmetic rubs. Hence a non-text page has a small 'damaged' stamp. Despite such this book is actually in nearly new condition and appears unread. Thus the contents are crisp, fresh and tight; no pen-marks. Now offered for sale at a very sensible price.
-
Logical foundations of proof complexity.
Edité par New York, Cambridge University Press; Association for Symbolic Logic, 2014
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 44,99
EUR 40 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Paperback ed. XV, 479 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03601 9780521517294 Sprache: Englisch Gewicht in Gramm: 1150.
-
Logical Foundations of Proof Complexity Hardback (Perspectives in Logic)
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Llibreria Hispano Americana, Barcelona, B, Espagne
Évaluation du vendeur 2 sur 5 étoiles
Edition originale
EUR 45
EUR 70 expédition depuis Espagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEncuadernación de tapa dura. Etat : Como Nuevo. 1ª Edición.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 124,71
EUR 2,29 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Logical Foundations of Proof Complexity (Perspectives in Logic)
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 123,52
EUR 3,46 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Logical Foundations of Proof Complexity (Perspectives in Logic)
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 138,50
Gratuit expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Logical Foundations of Proof Complexity (Perspectives in Logic)
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 128,07
EUR 13,65 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 128,06
EUR 17,09 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 145,11
EUR 2,29 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Logical Foundations of Proof Complexity (Hardcover)
Edité par Cambridge University Press, Cambridge, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 148,24
Gratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The complexity classes range from AC0 for the weakest theory up to the polynomial hierarchy. Each bounded theorem in a theory translates into a family of (quantified) propositional tautologies with polynomial size proofs in the corresponding proof system. The theory proves the soundness of the associated proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P. This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 146,07
EUR 17,09 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Logical Foundations of Proof Complexity (Hardcover)
Edité par Cambridge University Press, Cambridge, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 140,22
EUR 42,16 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The complexity classes range from AC0 for the weakest theory up to the polynomial hierarchy. Each bounded theorem in a theory translates into a family of (quantified) propositional tautologies with polynomial size proofs in the corresponding proof system. The theory proves the soundness of the associated proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P. This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press CUP, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 184,46
EUR 3,46 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 496.
-
Logical Foundations of Proof Complexity
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 185,53
EUR 14,24 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 1st edition. 479 pages. 9.75x6.50x1.50 inches. In Stock.
-
Logical Foundations of Proof Complexity (Hardcover)
Edité par Cambridge University Press, Cambridge, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 174,31
EUR 32,10 expédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The complexity classes range from AC0 for the weakest theory up to the polynomial hierarchy. Each bounded theorem in a theory translates into a family of (quantified) propositional tautologies with polynomial size proofs in the corresponding proof system. The theory proves the soundness of the associated proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P. This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 176,56
EUR 64,98 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The complexity classes range from AC0 for the weakest theory up to the polynomial hierarchy. Each bounded theorem in a theory translates into a family of (quantified) propositional tautologies with polynomial size proofs in the corresponding proof system. The theory proves the soundness of the associated proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P.
-
Logical Foundations of Proof Complexity (Perspectives in Logic)
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 230,01
EUR 28,48 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Like New. Like New. book.
-
Logical Foundations of Proof Complexity
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 136,73
EUR 14,24 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 1st edition. 479 pages. 9.75x6.50x1.50 inches. In Stock. This item is printed on demand.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 142,04
EUR 22,05 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 860.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2013
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
EUR 139,43
EUR 48,99 expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result .
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 193,05
EUR 7,41 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand pp. 496 17 Illus.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2010
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 196,28
EUR 9,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 496.
-
Logical Foundations of Proof Complexity
Edité par Cambridge University Press, 2013
ISBN 10 : 052151729X ISBN 13 : 9780521517294
Langue: anglais
EUR 146,25
EUR 70 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierBuch. Etat : Neu. Logical Foundations of Proof Complexity | Stephen Cook (u. a.) | Buch | Gebunden | Englisch | 2013 | Cambridge University Press | EAN 9780521517294 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
