It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 30, 2008 | History
Edit

Rod Downey

We need a photo of Rod Downey

9 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Turing's Legacy: Developments from Turing's Ideas in Logic

    First published in 2014 4 editions in 1 language — 1 previewable
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Hierarchy of Turing Degrees: A Transfinite Hierarchy of Lowness Notions in the Computably Enumerable Degrees, Unifying Classes, and Natural Definability

    First published in 2020 3 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Aspects of Complexity: Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15 2000

    First published in 2001 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proceedings of the 12th Asian Logic Conference

    First published in 2013 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005

    First published in 2006 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The Moralist

    First published in 2002 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Parameterized and Exact Computation: First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings

    First published in 2004 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications

    First published in 2024 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proceedings of the 7th and 8th Asian Logic Conferences, Hsi-Tou, Taiwan 6 - 10 June 1999, Chongqing, China 29 August - 2 September 2002

    First published in 2003 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Rod Downey

Subjects
Computational complexity, Artificial intelligence, Computer science, Logic, symbolic and mathematical, MATHEMATICS / Logic, Machine theory, Mathematics, Turing machines, Turing test, Turing, alan mathison, 1912-1954

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3070202A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import