Verwandte Artikel zu Proof Complexity Generators (London Mathematical Society...

Proof Complexity Generators (London Mathematical Society Lecture Note, 497) - Softcover

Krajicek, Jan

 
9781009611701: Proof Complexity Generators (London Mathematical Society Lecture Note, 497)
Softcover
ISBN 10: 1009611704 ISBN 13: 9781009611701
Verlag: Cambridge University Press, 2025

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.

Verlag
Cambridge University Press
Erscheinungsdatum
2025
Sprache
Englisch
ISBN 10 
1009611704
ISBN 13 
9781009611701
Einband
Taschenbuch
Anzahl der Seiten
136
Kontakt zum Hersteller
Cambridge University Press
https://www.cambridge.org/

Via Honduras,15
Pomezia
Italia
71
Italien