Logical Foundations of Proof Complexity

Cook, Stephen / Nguyen, Phuong

Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Cook, Stephen / Nguyen, Phuong

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

CHF 150.00

Lieferbar

ISBN	9780521517294
Sprache	eng
Cover	Fester Einband
Verlag	Cambridge University Press
Jahr	20131011

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.

.lang-group, .lang-btn { display: inline-block !important; } .lang-list {display: none;}