Verwandte Artikel zu Logical Foundations of Proof Complexity (Perspectives...
Inhaltsangabe
A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Stephen Cook is a journalist and author with extensive experience in national newspapers and magazines, including 18 years at The Guardian. He has published five novels and two non-fiction books.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Logical Foundations of Proof Complexity (Perspectives...
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity (Perspectives in Logic)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9781107694118
Neu kaufen
EUR 87,86
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity (Perspectives in Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9781107694118_new
Neu kaufen
EUR 89,64
EUR 10,92 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity (Perspectives in Logic)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. A treatise on bounded arithmetic and propositional proof complexity by the leader in the field. Num Pages: 496 pages, 17 b/w illus. 5 tables. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 76. . 2014. Illustrated. paperback. . . . . Bestandsnummer des Verkäufers V9781107694118
Neu kaufen
EUR 91,35
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity
Verlag:
Cambridge University Press, 2014
ISBN 10: 1107694116
ISBN 13: 9781107694118
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9781107694118
Neu kaufen
EUR 88,25
EUR 21,09 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity (Perspectives in Logic)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. A treatise on bounded arithmetic and propositional proof complexity by the leader in the field. Num Pages: 496 pages, 17 b/w illus. 5 tables. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 28. Weight in Grams: 76. . 2014. Illustrated. paperback. . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9781107694118
Neu kaufen
EUR 116,40
EUR 9,23 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity
Verlag:
Cambridge University Press CUP, 2014
ISBN 10: 1107694116
ISBN 13: 9781107694118
Neu
Softcover
Anbieter: Books Puddle, Woodside, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 496. Bestandsnummer des Verkäufers 2697811797
Neu kaufen
EUR 123,89
EUR 3,51 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2014
ISBN 10: 1107694116
ISBN 13: 9781107694118
Neu
Paperback
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9781107694118
Neu kaufen
EUR 90,03
EUR 43,13 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 496 17 Illus. Bestandsnummer des Verkäufers 94618250
Neu kaufen
EUR 125,63
EUR 7,58 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 479 pages. 8.75x6.00x1.00 inches. In Stock. Bestandsnummer des Verkäufers x-1107694116
Neu kaufen
EUR 118,87
EUR 14,57 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logical Foundations of Proof Complexity
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 496. Bestandsnummer des Verkäufers 1897811807
Neu kaufen
EUR 124,77
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar