Showing 1 - 1 results of 1 for search '"Harper & Row Computer Science and Technology Series"', query time: 0.03s Refine Results
  1. 1
    Logic for computer science Foundations of automatic theorem proving
    by Gallier, Jean H.
    Published 1987
    “…Harper & Row Computer Science and Technology Series…”
    Book
Search Tools: RSS Feed – Email Search