馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Models and computability：invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Corporate Authors: Logic Colloquium (1997 Leeds, England); Association for Symbolic Logic
Group Author: Cooper S. B.; (S. Barry); Truss J. K.
Published: Cambridge University Press,
Publication Dates: 1999.
Call Number: O141-532/L832/1997

Book

2

Cover is for reference only

Sets and proofs：invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Corporate Authors: Logic Colloquium (1997 Leeds, England); Association for Symbolic Logic
Group Author: Cooper S. B.; (S. Barry); Truss J. K.
Published: Cambridge University Press,
Publication Dates: 1999.
Call Number: O141-532/L832.2/1997/

Book

3

Cover is for reference only

Theory and applications of models of computation：third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings

Corporate Authors: TAMC 2006 (2006 Beijing, China); SpringerLink (Online service)
Group Author: Cai Jin-yi, 1961-; Cooper S. B.; (S. Barry); Li Angsheng.
Published: Springer-Verlag,
Publication Dates: c2006.
Call Number: TP301-532/T396-2/2006

Book

4

Cover is for reference only

Computability, enumerability, unsolvability：directions in recursion theory

Group Author: Cooper S. B.; (S. Barry); Slaman T. A.; (Theodore Allen), 1954-; Wainer S. S.
Published: Cambridge University Press,
Publication Dates: 1996.
Call Number: O141.3/C738/

Book

5

Cover is for reference only

New computational paradigms：First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 ; proceedings

Corporate Authors: Conference on Computability in Europe (1st 2005 Amsterdam, Netherlands)
Group Author: Cooper S. B.; (S. Barry); L··owe Benedikt.; Torenvliet Leen.
Published: Springer,
Publication Dates: c2005.
Call Number: O141.3-532/C748/2005

Book

6

Cover is for reference only

Theory and applications of models of computation：4th international conference, TAMC 2007, Shanghai, China, May 22-25, 2007 : proceedings

Corporate Authors: TAMC 2007 (2007 Shanghai, China); SpringerLink (Online service)
Group Author: Cooper S. B.; (S. Barry); Zhu Hong, 1961-; Cai Jin-yi, 1961-
Published: Springer,
Publication Dates: c2007.

Book

7

Cover is for reference only

New computational paradigms：changing conceptions of what is computable

Corporate Authors: SpringerLink (Online service)
Group Author: (S. Barry); Löwe Benedikt.; Sorbi Andrea, 1956-; Cooper S. B.
Published: Springer,
Publication Dates: 2008.

Book

8

Cover is for reference only

Computation and logic in the real world：Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings

Corporate Authors: Conference on Computability in Europe (3rd 2007 Siena, Italy); SpringerLink (Online service)
Group Author: (S. Barry); Löwe Benedikt.; Sorbi Andrea, 1956-; Cooper S. B.
Published: Springer,
Publication Dates: c2007.

Book

9

Cover is for reference only

Theory and applications of models of computation：third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings

Corporate Authors: TAMC 2006 (2006 Beijing, China); SpringerLink (Online service)
Group Author: Cooper S. B.; (S. Barry); Li Angsheng.; Cai Jin-yi, 1961-
Published: Springer,
Publication Dates: c2006.

Book

10

Cover is for reference only

New computational paradigms：First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005 : proceedings

Corporate Authors: Conference on Computability in Europe (1st 2005 Amsterdam, Netherlands); SpringerLink (Online service)
Group Author: Cooper S. B.; (S. Barry); Löwe Benedikt.; Torenvliet Leen.
Published: Springer,
Publication Dates: c2005.

Book

11

Cover is for reference only

Theory and applications of models of computation：6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 : proceedings

Corporate Authors: TAMC 2009 (2009 Changsha, China); SpringerLink (Online service)
Group Author: Cooper S. B.; (S. Barry); Chen Jianer.
Published: Springer,
Publication Dates: c2009.

Book

12

Cover is for reference only

Logic Colloquium 2006

Corporate Authors: Logic Colloquium (2006 Nijmegen, Netherlands)
Group Author: (S. Barry); Cooper S. B.
Published: Cambridge University Press Association for Symbolic Logic,
Publication Dates: 2009.
Call Number: O141-532/A849/2006

Book

13

Cover is for reference only

Computability in context：computation and logic in the real world

Group Author: Cooper S. B.; (S. Barry); Sorbi Andrea, 1956-
Published: World Scientific,
Publication Dates: c2011.
Call Number: O141/C738

Book

Related Subjects