Skip recommendations
Résultat(s) 1 - 1 résultats de 1 pour la requête 'Interuniversity Micro-Electronics Center', Temps de recherche: 0,01s Affiner les résultats
Outils de recherche: 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 /
    Publié 1993
    Texto completo
    Électronique Actes de congrès eBook