Search results for: Cooper, S. B. (S. Barry)

Showing 1 - 15 results of 15 Refine Results
  1. 1

    Computability and models perspectives east and west

    Authors: Cooper, S. B. (S. Barry)
    Published: Kluwer/Plenum Publishers, 2003
    Springer Book Archive - Mathematics: 2003 (Springer Link)
    Electronic eBook
  2. 2

    Alan Turing his work and impact

    Authors: Cooper, S. B. (S. Barry)
    Published: Elsevier, 2013
    ProQuest Ebook Central - Academic Complete: 2013 (Ebook Central @ Proquest)
    ScienceDirect eBooks Collection: 2013 (ScienceDirect)
    EBSCO eBooks: 2012 (EBSCO)
    ScienceDirect eBooks - Mathematics 2013: 2012 (ScienceDirect)
    eBook Academic Collection (EBSCOhost) – North America: 2012 (EBSCO)
    Electronic eBook
  3. 3

    Logic Colloquium 2006

    Published: Cambridge University Press ; Association for Symbolic Logic, 2009
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Physical Description: ix, 373 pages : illustrations ; 24 cm.
    Conference Proceeding Book
  4. 4

    Logic Colloquium 2006

    Published: Cambridge University Press, 2009
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Physical Description: 1 online resource (ix, 373 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic Conference Proceeding eBook
  5. 5

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

    Published: Cambridge University Press, 1999
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Physical Description: ix, 419 pages ; 23 cm.
    Conference Proceeding Book
  6. 6

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

    Published: Cambridge University Press, 1999
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Physical Description: ix, 436 pages : illustrations ; 23 cm.
    Conference Proceeding Book
  7. 7

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

    Published: Cambridge University Press, 1999
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Physical Description: 1 online resource (ix, 436 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic Conference Proceeding eBook
  8. 8

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

    Published: Cambridge University Press, 1999
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Physical Description: 1 online resource (ix, 419 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic Conference Proceeding eBook
  9. 9

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

    Published: Cambridge University Press, 1999
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    EBSCO eBooks: 1999 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 1999 (EBSCO)
    Electronic Conference Proceeding eBook
  10. 10

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

    Published: Cambridge University Press, 1999
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    EBSCO eBooks: 1999 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 1999 (EBSCO)
    Electronic Conference Proceeding eBook
  11. 11

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

    Published: Springer, 2007
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Springer English/International eBooks 2007 - Full Set: 2007 (Springer Link)
    Electronic Conference Proceeding eBook
  12. 12

    New computational paradigms changing conceptions of what is computable

    Published: Springer, 2008
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Springer English/International eBooks 2008 - Full Set: 2008 (Springer Link)
    Electronic eBook
  13. 13

    Computability, enumerability, unsolvability : directions in recursion theory

    Published: Cambridge University Press, 1996
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Physical Description: vii, 347 pages : illustrations ; 23 cm.
    Book
  14. 14

    Computability, enumerability, unsolvability : directions in recursion theory

    Published: Cambridge University Press, 1996
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    Physical Description: 1 online resource (vii, 347 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  15. 15

    Computability, enumerability, unsolvability directions in recursion theory

    Published: Cambridge University Press, 1996
    Other Authors: “…Cooper, S. B. (S. Barry)…”
    EBSCO eBooks: 1996 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 1996 (EBSCO)
    Electronic eBook