Showing 1 - 1 results of 1 for search '"Turku"', query time: 0.01s Refine Results
  1. 1

    Theorem proving in higher order logics /

    Published 1996
    Conference Proceeding Book