Author Results for Cooper, S, Barry,

(S. Barry)
Cooper,S. B.
SpringerLink (Online service)
Cai,Jin-yi,
Löwe,Benedikt
see all »
Sorbi,Andrea,
Association for Symbolic Logic
Conference on Computability in Europe,Amsterdam, Netherlands)
Li,Angsheng
Logic Colloquium,Leeds, England)

1
Alan Turing : his work and impact /

Cover is for reference only
Main Authors: Cooper, S. B. S. Barry
Group Author: Leeuwen, J. van Jan
Published: 哈尔滨工业大学出版社,
Publication Dates: 2016.
Call Number: K835.616.11/A319C
Book
Save to List
Saved in:
2
Computability and models perspectives east and west

Cover is for reference only
Main Authors: Cooper S. B (S. Barry)
Group Author: Goncharov S. S
Published: Kluwer/Plenum Publishers,
Publication Dates: c2003.
Call Number: O141.3/C778
Book
Save to List
Saved in:
4
Logic Colloquium 2006

Cover is for reference only
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
Save to List
Saved in:
5
Computability in context computation and logic in the real world

Cover is for reference only
Group Author: Cooper S. B.; (S. Barry); Sorbi Andrea, 1956-
Published: World Scientific,
Publication Dates: c2011.
Call Number: O141/C738
Book
Save to List
Saved in:
11
永恒的图灵 20位科学家对图灵思想的解构与超越

Cover is for reference only
Main Authors: 英 库珀 Cooper, S. Barry ((英)S. 巴里·库珀(S. Barry Cooper)，(英)安德鲁·霍奇斯(Andrew Hodges)等著); 英 霍奇斯 Hodges, Andrew
Group Author: 堵丁柱 (1948.5-) (译)
Published: 机械工业出版社
Publication Dates: 2018
Call Number: O24/0211
Book
Save to List
Saved in:
15
永恒的图灵 20位科学家对图灵思想的解构与超越 典藏版

Cover is for reference only
Main Authors: (英) 库珀 Cooper, S. Barry (著); (英) 霍奇斯 Hodges, Andrew (著)
Group Author: 堵丁柱 (译); 高晓沨 (译)
Published: 机械工业出版社
Publication Dates: 2024
Call Number: K835.616.16/6318-7
Book
Save to List
Saved in:
16
The Incomputable : Journeys Beyond the Turing Barrier /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Cooper, S, Barry (Editor); Soskova, Mariya I (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
17
Alan Turing : his work and impact /

Cover is for reference only
Corporate Authors: Elsevier Science & Technology.
Group Author: Cooper, S. B. (S. Barry); Leeuwen, J. van (Jan)
Published: Elsevier,
Publication Dates: 2013.
eBook
Save to List
Saved in:
18
Computability in context : computation and logic in the real world /

Cover is for reference only
Corporate Authors: World Scientific (Firm)
Group Author: Cooper, S. B. (S. Barry) (Editor); Sorbi, Andrea, 1956- (Editor)
Published: Imperial College Press ; Distributed by World Scientific Pub. Co.,
Publication Dates: 2011.
eBook
Save to List
Saved in:
20
Computability, enumerability, unsolvability directions in recursion theory

Cover is for reference only
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
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —