Skip recommendations
Mostrando 1 - 1 Resultados de 1 Para Buscar 'Gordon, Michael J. C., 1948-', tiempo de consulta: 0.01s Limitar resultados
Herramientas de búsqueda: 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 /
    Publicado 1993
    Otros Autores:
    Texto completo
    Electrónico Congresos, conferencias eBook