%0 Book Section %1 books/ams/04/Beame04 %A Beame, Paul %B Computational Complexity Theory %D 2004 %E Rudich, Steven %E Wigderson, Avi %I AMS Chelsea Publishing %K dblp %P 199-246 %T Proof complexity. %U http://dblp.uni-trier.de/db/books/collections/RW2004.html#Beame04 %V 10 %@ 978-0-8218-2872-4

@incollection{books/ams/04/Beame04, added-at = {2023-09-30T00:00:00.000+0200}, author = {Beame, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2fd040a9b1743840b9c3e8de213b26695/dblp}, booktitle = {Computational Complexity Theory}, crossref = {books/ams/04/RW2004}, editor = {Rudich, Steven and Wigderson, Avi}, ee = {https://doi.org/10.1090/pcms/010/07}, interhash = {beb546c4c9fb6a2ca4dd2a15ed1c5b0d}, intrahash = {fd040a9b1743840b9c3e8de213b26695}, isbn = {978-0-8218-2872-4}, keywords = {dblp}, pages = {199-246}, publisher = {AMS Chelsea Publishing}, series = {IAS / Park City mathematics series}, timestamp = {2024-04-10T06:18:04.000+0200}, title = {Proof complexity.}, url = {http://dblp.uni-trier.de/db/books/collections/RW2004.html#Beame04}, volume = 10, year = 2004 }