Search Results - Ryan, Mark, 1962-

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Book
    Book

    Logic in computer science : modelling and reasoning about systems by Huth, Michael, 1962-

    Published 2004
    Other Authors: “…Ryan, Mark, 1962-…”

Search Tools: