Stephen Cook, Phuong Nguyen

Gebundenes Buch

Logical Foundations of Proof Complexity

Beschreibung

A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.

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.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 496
• Erscheinungstermin: 11. Oktober 2013
• Englisch
• Abmessung: 240mm x 161mm x 34mm
• Gewicht: 995g
• ISBN-13: 9780521517294
• ISBN-10: 052151729X
• Artikelnr.: 28245011