Mostrando 1 - 1 Resultados de 1 Para Buscar 'Pollack, R Contributor', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia
    Otros Autores: “…Pollack, R Contributor…”
    Libro electrónico

Herramientas de búsqueda: