WorldCat Identities

Cooper, S. B. (S. Barry)

Overview
Works: 48 works in 245 publications in 2 languages and 6,798 library holdings
Genres: Conference proceedings  Biography 
Roles: Editor, Other, Creator
Classifications: QA9.59, 511.352
Publication Timeline
Key
Publications about  S. B Cooper Publications about S. B Cooper
Publications by  S. B Cooper Publications by S. B Cooper
Most widely held works by S. B Cooper
Computability in context computation and logic in the real world ( )
11 editions published between 2009 and 2011 in English and Undetermined and held by 928 WorldCat member libraries worldwide
Computability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues, covering problems related to logic, mathematics, physical processes, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues
Models and computability invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium ( )
17 editions published in 1999 in English and held by 645 WorldCat member libraries worldwide
Second of two volumes providing a comprehensive guide to the current state of mathematical logic
New computational paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings by S. B Cooper ( )
17 editions published in 2005 in English and held by 551 WorldCat member libraries worldwide
New computational paradigms changing conceptions of what is computable by S. B Cooper ( )
14 editions published between 2005 and 2008 in English and Undetermined and held by 541 WorldCat member libraries worldwide
The recent necessity to deal with computability in the real world (computing on continuous data, biological computing, physical computing, etc.) has switched attention to new paradigms of computation, based on biological and physical models. This book looks at new developments in the theory and practice of computation from a mathematical and predominantly logical perspective, with topics ranging from classical computability to complexity, biocomputing and quantum computing. Traditional topics in Computability Theory are also covered as well as relationships between Proof Theory, Computability and Complexity Theory, new paradigms of computation arising from biology and quantum physics and issues related to computability with/on the real numbers. The book is addressed to researchers and graduate students in mathematics, philosophy and computer science with a special interest in logic and foundational issues. Logicians and theoretical physicists will also benefit from this book
Theory and applications of models of computation third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings by Jin-yi Cai ( )
13 editions published in 2006 in English and held by 536 WorldCat member libraries worldwide
"TAMC 2006 was the third conference in the series. The previous two meetings were held May 17-19, 2004 in Beijing, and May 17-20, 2005 in Kunming."
Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings by S. B Cooper ( )
16 editions published in 2007 in English and and held by 513 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the Third International Conference on Computability in Europe, CiE 2007, held in Sienna, Italy, in June 2007. The 50 revised full papers presented together with 36 invited papers were carefully reviewed and selected from 167 submissions. Among them are papers corresponding to 12 plenary talks and papers of 8 special sessions entitled doing without turing machines: constructivism and formal topology, approaches to computational learning, real computation, computability and mathematical structure, complexity of algorithms and proofs, logic and ne
Theory and applications of models of computation 4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings by Jin-yi Cai ( )
14 editions published in 2007 in English and held by 491 WorldCat member libraries worldwide
How the world computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings by S. B Cooper ( )
7 editions published in 2012 in English and held by 340 WorldCat member libraries worldwide
Annotation
Theory and applications of models of computation 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings by TAMC 2009 ( )
4 editions published in 2009 in English and held by 339 WorldCat member libraries worldwide
Theory and applications of models of computation 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings by Manindra Agrawal ( )
8 editions published in 2012 in English and held by 337 WorldCat member libraries worldwide
Annotation
Computability, enumerability, unsolvability : directions in recursion theory ( Book )
15 editions published between 1996 and 2009 in English and Undetermined and held by 327 WorldCat member libraries worldwide
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 by Logic Colloquium ( Book )
17 editions published in 1999 in English and held by 280 WorldCat member libraries worldwide
Computability theory by S. B Cooper ( Book )
13 editions published between 2002 and 2013 in English and held by 252 WorldCat member libraries worldwide
"Computability Theory presents a comprehensive, highly readable introduction to contemporary computability theory, techniques, and results. The author places the basic concepts and techniques in their historical, philosophical, and logical contexts, and offers an unusual breadth of coverage, including a number of advanced topics not usually addressed in books at this level. The result is an invaluable text, reference, and guide to the direction of current research in the field. The author brings the techniques and results of this beautiful and basic subject alive in an approachable and lively way."--BOOK JACKET
Alan Turing : his work and impact by S. B Cooper ( Book )
13 editions published between 2012 and 2013 in English and held by 182 WorldCat member libraries worldwide
This new and exciting book, published in celebration of the centenary of Alan Turing's birth in London, includes a large number of the most significant contributions from the 4-volume set of the Collected Works of A.M. Turing. These contributions, together with a wide spectrum of accompanying commentaries from current world-leading experts in many different fields and backgrounds, provide insight on the significance and contemporary impact of A.M. Turing's work
Logic Colloquium 2006 by S. B Cooper ( Book )
11 editions published in 2009 in English and held by 141 WorldCat member libraries worldwide
The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.--Résumé de l'éditeur
The selected works of A.M. Turing his work and impact by S. B Cooper ( )
1 edition published in 2012 in English and held by 133 WorldCat member libraries worldwide
Computability and models : perspectives east and west by S. B Cooper ( Book )
5 editions published between 2002 and 2003 in English and held by 121 WorldCat member libraries worldwide
There are few notions as fundamental to contemporary science as those of computability and modelling. Computability and Models attempts to make some of the exciting and important new research developments in this area accessible to a wider readership. Written by international leaders drawn from major research centres both East and West, this book is an essential addition to scientific libraries serving both specialist and the interested non-specialist reader
Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings by Jianer Chen ( )
10 editions published in 2009 in English and held by 81 WorldCat member libraries worldwide
Annotation
Computation and Logic in the Real World by S. B Cooper ( Book )
6 editions published between 2007 and 2009 in English and held by 9 WorldCat member libraries worldwide
Sets and Proofs by S. B Cooper ( )
1 edition published in 1999 in English and held by 8 WorldCat member libraries worldwide
First of two volumes providing a comprehensive guide to the current state of mathematical logic
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.47 for Computabil ... to 0.92 for Computabil ...)
Alternative Names
Barry Cooper, Stuart 1943-
Cooper, B. 1943-
Cooper, Barry, 1943-
Cooper, Barry, 1943, 9 oct.-
Cooper, Barry, 1943 October 9-
Cooper, Barry, 1943 říj. 9.-
Cooper, Barry S.
Cooper, S. B.
Cooper, S. Barry
Cooper, S. Barry, 1943-
Cooper, Stuart Barry
Cooper, Stuart Barry 1943-
Languages
Covers