WorldCat Identities

Cook, Stephen A.

Overview
Works: 16 works in 38 publications in 1 language and 195 library holdings
Genres: Educational films  Filmed lectures  Nonfiction films 
Roles: Author, Other
Classifications: QA267.7, 511.36
Publication Timeline
.
Most widely held works about Stephen A Cook
 
Most widely held works by Stephen A Cook
The Reusable Launch Vehicle Technology Program and the X-33 advanced technology demonstrator by Stephen Arthur Cook( Book )

1 edition published in 1995 in English and held by 87 WorldCat member libraries worldwide

Logical foundations of proof complexity by Stephen Cook( Book )

16 editions published between 2010 and 2014 in English and held by 26 WorldCat member libraries worldwide

Review: "This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course."--BOOK JACKET
Algebraic techniques and the mechanization of number theory by Stephen Arthur Cook( Book )

2 editions published in 1965 in English and held by 17 WorldCat member libraries worldwide

A number of mechanical procedures for generating proofs of theorems of logic have appeared in the literature, all based on the Skolem-Herbrand theorem. Although in principle the procedures can be applied to find proofs of mathematical theorems, the procedures are very inefficient for this purpose because they are designed to operate on too large a domain. This report outlines a general method by which these procedures can be adapted to operate more efficiently on a much more restricted domain: the statements of elementary number theory. The method is given a theoretical justification, and several specific algorithms are described for realizing the general method. These algorithms are applied to examples. Much more detailed study must be done before the method can be successfully utilized by a computer to generate proofs of difficult number-theoretic theorems. (Author)
On the minimum computation time of functions by Stephen Arthur Cook( Book )

4 editions published in 1966 in Undetermined and English and held by 5 WorldCat member libraries worldwide

Streamlining the development permit process : final report by Oxnard (Calif.)( Book )

1 edition published in 1982 in English and held by 2 WorldCat member libraries worldwide

Soundness and completeness of an axiom system for program verification by S Cook( Book )

2 editions published in 1976 in English and held by 2 WorldCat member libraries worldwide

The relative power of propositional proof systems by Stephen Arthur Cook( Book )

2 editions published in 1977 in English and held by 2 WorldCat member libraries worldwide

Problems complete for deterministic logarithmic space by Stephen Arthur Cook( Book )

1 edition published in 1986 in English and held by 2 WorldCat member libraries worldwide

Home safe : a collection of information about emergencies, how to deal with them, and how to avoid them by Stephen Arthur Cook( Book )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

Prophylactic use of antibiotics in today's dental practice by Stephen Arthur Cook( )

1 edition published in 1978 in English and held by 1 WorldCat member library worldwide

Exploration Systems Industry Day presentation charts November 1, 2005 by United States( )

1 edition published in 2005 in English and held by 1 WorldCat member library worldwide

Computational complexity of higher type functions by Stephen A Cook( Visual )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

U.S.-Turkey relations : a new partnership by Madeleine Korbel Albright( Book )

2 editions published in 2012 in English and held by 1 WorldCat member library worldwide

Turkey is a rising regional and global power facing, as is the United States, the challenges of political transitions in the Middle East, bloodshed in Syria, and Iran's pursuit of nuclear weapons. As a result, it is incumbent upon the leaders of the United States and Turkey to define a new partnership "in order to make a strategic relationship a reality," says a new Council on Foreign Relations (CFR)-sponsored Independent Task Force. The bipartisan Task Force is chaired by former secretary of state Madeleine K. Albright and former national security adviser Stephen J. Hadley, and is directed by Steven A. Cook, CFR's Hasib J. Sabbagh senior fellow for Middle Eastern studies. The Task Force includes twenty-three prominent experts who represent a variety of perspectives and backgrounds. Turkey is a rising regional and global power facing, as is the United States, the challenges of political transitions in the Middle East, bloodshed in Syria, and Iran's pursuit of nuclear weapons. As a result, it is incumbent upon the leaders of the United States and Turkey to define a new partnership "in order to make a strategic relationship a reality," says a new Council on Foreign Relations (CFR)-sponsored Independent Task Force. The bipartisan Task Force is chaired by former secretary of state Madeleine K. Albright and former national security adviser Stephen J. Hadley, and is directed by Steven A. Cook, CFR's Hasib J. Sabbagh senior fellow for Middle Eastern studies. The Task Force includes twenty-three prominent experts who represent a variety of perspectives and backgrounds. "Turkey may not yet have the status of one of Washington's traditional European allies," the report explains, "but there is good strategic reason for the bilateral relationship to grow and mature into a mutually beneficial partnership that can manage a complex set of security, economic, humanitarian, and environmental problems." The relationship should reflect "not only common American-Turkish interests, but also Turkey's new stature as an economically and politically successful country with a new role to play in a changing Middle East," argues the Task Force in the report, U.S.-Turkey Relations: A New Partnership. Turkey is more democratic, prosperous, and politically influential than ever before. Still there are worrying domestic developments that raise questions about Turkey's democratic practices. According to the Task Force, these concerns include: "the prosecution and detention of journalists, the seemingly open-ended and at times questionable pursuit of military officers and other establishment figures for alleged conspiracy against the government, the apparent illiberal impulses of some Turkish leaders, the still-unresolved Kurdish issue, and the lack of progress on a new constitution." The Task Force finds that overall, Turkey is not well understood in the United States. The Task Force "seeks to promote a better understanding of the new Turkey--its strengths, vulnerabilities, and ambitions--in order to assess its regional and global role and make recommendations for a new partnership of improved and deepened U.S.-Turkey ties." To make the vision for a new U.S.-Turkey partnership a reality, Ankara and Washington should observe the following principles: equality and mutual respect for each other's interests; confidentiality and trust; close and intensive consultations to identify common goals and strategies on issues of critical importance; avoidance of foreign policy surprises; and recognition and management of inevitable differences between Washington and Ankara. --Publisher description
The complexity of theorem-proving procedures by Stephen Arthur Cook( Book )

1 edition published in 1971 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.22 for Logical fo ... to 1.00 for The comple ...)

Logical foundations of proof complexity
Alternative Names
Cook, S. A.

Cook, Stephen.

Cook, Stephen Arthur 1939-

Cook, Steve 1939-

Stephen A. Cook amerikanischer Informatiker, Satz von Cook

Stephen Cook Amerikaans informaticus

Stephen Cook amerikansk datavetare

Stephen Cook amerikansk informatikar

Stephen Cook amerikansk informatiker

Stephen Cook informatico e matematico statunitense

Stephen Cook informatyk amerykański

Кук, Стивен Артур

Стивен Кук

Стівен Кук

סטיבן קוק

استفن کوک دانشمند علوم کامپیوتر آمریکایی

ستيفن كوك

স্টিফেন কুক

ஸ்டீபன் குக்

스티븐 쿡

スティーブン・クック

史提芬·古克

Languages
English (36)

Covers