Inhaltsangabe
Discover a state-of-the-art theory aiming to construct hard propositional tautologies needed to solve the NP vs. coNP problem.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Jan Krají¿ek is Professor of Mathematical Logic at Charles University, Prague. A member of the Learned Society of the Czech Republic and the Academia Europaea, he has previously published three books with Cambridge University Press (1995, 2011 and 2019).
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Proof Complexity Generators (London Mathematical Society...
Beispielbild für diese ISBN
Proof Complexity Generators
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. FM-9781009611701
Beispielbild für diese ISBN
Proof Complexity Generators
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Artikel-Nr. FM-9781009611701
Neu kaufen
EUR 52,87
EUR 4,88 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Proof Complexity Generators (London Mathematical Society Lecture Note Series, Series Number 497)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Artikel-Nr. 410621732
Neu kaufen
EUR 56,93
EUR 7,63 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Proof Complexity Generators
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 143 pages. 9.02x5.98x0.50 inches. In Stock. Artikel-Nr. __1009611704
Neu kaufen
EUR 58,77
EUR 11,73 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof Complexity Generators (London Mathematical Society Lecture Note Series, Series Number 497)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9781009611701_new
Neu kaufen
EUR 59,64
EUR 14,06 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof Complexity Generators: 497 (London Mathematical Society Lecture Note Series, Series Number 497)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2025. paperback. . . . . . Books ship from the US and Ireland. Artikel-Nr. V9781009611701
Neu kaufen
EUR 81,70
EUR 9,21 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof Complexity Generators
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 143 pages. 9.02x5.98x0.50 inches. In Stock. Artikel-Nr. x-1009611704
Neu kaufen
EUR 79,97
EUR 11,73 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
PROOF COMPLEXITY GENERATORS
Anbieter: Speedyhen, Hertfordshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: NEW. Artikel-Nr. NW9781009611701
Neu kaufen
EUR 52,61
EUR 48,11 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Proof Complexity Generators
Verlag:
Cambridge University Press Aug 2025, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research. Artikel-Nr. 9781009611701
Neu kaufen
EUR 56,25
EUR 60,70 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar