It looks like you're offline.
Open Library logo
additional options menu
Last edited anonymously
April 1, 2008 | History

TPHOLs '97 (1997 Murray Hill, N.J.)

We need a photo of TPHOLs '97 (1997 Murray Hill, N.J.)

1 work Add another?

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

  • Cover of: Theorem proving in higher order logics: 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

    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

History

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