Stephen Cook

He is considered one of the forefathers of computational complexity theory. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Cook, Stephen 1948-', query time: 0.02s
Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
-
1
Logical foundations of proof complexity / by Cook, Stephen, 1948-
Published 2010Call Number: Loading…Get full text
Located: Loading…
Electronic eBook -
2
Logical foundations of proof complexity by Cook, Stephen 1948-
Published 2010Call Number: Loading…Get full text
Located: Loading…
-
3
Perspectives in logic logical foundations of proof complexity by Cook, Stephen 1948-
Published 2010Call Number: Loading…
Located: Loading… -
4
Perspectives in logic logical foundations of proof complexity by Cook, Stephen 1948-
Published 2010Call Number: Loading…
Located: Loading…