Showing 1 - 1 results of 1 for search 'Grundy, Jim, 1968-', query time: 0.01s Refine Results
  1. 1

    Theorem proving in higher order logics /

    Published 1996
    Other Authors:
    Conference Proceeding Book