Proof Complexity (Encyclopedia of Mathematics and its...

Main
Mathematics
Proof Complexity (Encyclopedia of...

Proof Complexity (Encyclopedia of Mathematics and its Applications)

Name: Proof Complexity (Encyclopedia of Mathematics and its Applications)
ISBN: 9781108416849

Jan Krajíček

5.0 / 0

0 comments

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Suitable for doctoral students and researchers in mathematics and theoretical computer science.

Kategorien:

Mathematics

Jahr:

2019

Auflage:

Verlag:

Cambridge University Press

Sprache:

english

Seiten:

530

ISBN 10: