Showing 1 - 1 results of 1 for search 'Gordon, M. J.', query time: 0.01s Refine Results
  1. 1
    Introduction to HOL A theorem proving environment for higher order logic
    Published 1993
    Other Authors: “…Gordon, M. J.…”
    Book
Search Tools: RSS Feed – Email Search