Showing 1 - 1 results of 1 for search 'Harrison, J. (John) 1966-', query time: 0.01s Refine Results
  1. 1

    Handbook of practical logic and automated reasoning by Harrison, J. (John) 1966-

    Published 2009
    Book

    Handbook of practical logic and automated reasoning

Search Tools: