Skip recommendations
Showing 1 - 1 results of 1 for search 'Interuniversity Micro-Electronics Center', query time: 0.01s Refine Results
Search Tools: Suscríbete a esta búsqueda
  1. 1
    Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 /
    Published 1993
    Texto completo
    Electronic Conference Proceeding eBook