Showing
1 - 1
results of
1
Skip to content
This is the test environment.
The production environment is at
libcat.mfa.org
This is the test environment.
The production environment is at
libcat.mfa.org
This is the test environment.
The production environment is at
libcat.mfa.org
This is the test environment.
The production environment is at
libcat.mfa.org
Library Home
Visiting the Library
Staff Services
Databases
Login
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Browse Alphabetically: By Topic
Browse Alphabetically: By Author
Browse Alphabetically: By Title
Browse Alphabetically: By Call Number
Find
Advanced Search
|
Search Tips
Author
Cook, Stephen, 1948-
Search Results - Cook, Stephen, 1948-
Stephen Cook
Stephen Arthur Cook
(born December 14, 1939) is an American-Canadian
computer scientist
and mathematician who has made significant contributions to the fields of
complexity theory
and
proof complexity
. He is a university professor emeritus at the
University of Toronto
, Department of Computer Science and
Department of Mathematics
.
He is considered one of the forefathers of
computational complexity theory
.
Provided by Wikipedia
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Email
Export
Print
Save
Select all entries on the page
Select result number 1
1
Logical Foundations of Proof Complexity.
by
Cook, Stephen, 1948
-
Published 2010
Call Number:
Loading…
Located:
Loading…
Full text (MFA users only)
Electronic
eBook
Standalone Record
Save to List
Saved in:
Email
Export
Print
Save
Select all entries on the page
Search Tools:
RSS Feed
Email Search
Related Subjects
Computational complexity
Logic, Symbolic and mathematical
Proof theory